Todas las publicaciones del investigador:
Divasón Mallagaray, José

2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 Años anteriores
TítuloAutoresFuenteAño
Formalisation and execution of Linear Algebra: theorems and algorithms

Divasón Mallagaray, JoséRubio García, Julio (Director de tesis); Aransay Azofra, Jesús María (Director de tesis);  2016
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL

Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Formal Aspects of Computing 2016
Verified Computer Linear Algebra

Aransay Azofra, Jesús MaríaDivasón Mallagaray, José XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 2016