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

2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 Años anteriores
A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem

Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Journal of Automated Reasoning 2017
A formalization of the Berlekamp-Zassenhaus factorization algorithm

Divasón Mallagaray, José; Joosten S.; Thiemann R.; Yamada A.;  CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs 2017