Formalisation and execution of Linear Algebra: theorems and algorithms

Autor: Divasón Mallagaray, José

Tipo de documento: Tesis

Director/es: Rubio García, JulioAransay Azofra, Jesús María

Universidad: Universidad de La Rioja

Año: 2016