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
Rank-Nullity Theorem in Linear Algebra

Texto completo open access 
Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Archive of Formal Proofs 2013
Performance Analysis of a Verified Linear Algebra Program in SML

Divasón Mallagaray, JoséAransay Azofra, Jesús María Taller de Programación Funcional - XII Spanish Conference on Programming and Computer Languages, PROLE 2013 2013