Listado de publicaciones a texto completo de:
Divasón Mallagaray, José

Título Autores Fuente Año
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithmTexto completo open access  Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Journal of Functional Programming 2015
QR DecompositionTexto completo open access  Divasón Mallagaray, JoséAransay Azofra, Jesús María Archive of Formal Proofs 2015
Hermite Normal FormTexto completo open access  Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Archive of Formal Proofs 2015
Echelon FormTexto completo open access  Divasón Mallagaray, JoséAransay Azofra, Jesús María Archive of Formal Proofs 2015
Obtaining an ACL2 specification from an Isabelle/HOL theoryTexto completo de acceso restringido  Aransay Azofra, Jesús MaríaDivasón Mallagaray, JoséHeras Vicente, JonathanLambán Pardo, LaureanoPascual Martínez-Losa, María VicoRubio García, Angel LuisRubio García, Julio Lecture Notes in Computer Science 2014
Gauss-Jordan algorithm and its applicationsTexto completo open access  Divasón Mallagaray, JoséAransay Azofra, Jesús María Archive of Formal Proofs 2014
Obtaining an ACL2 sprecification from an Isabelle/HOL theoryTexto completo de acceso restringido  Aransay Azofra, Jesús MaríaLambán Pardo, LaureanoRubio García, Angel LuisPascual Martínez-Losa, María VicoHeras Vicente, JonathanRubio García, JulioDivasón Mallagaray, José Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 2014
Formalization and execution of Linear Algebra: from theorems to algorithmsTexto completo de acceso restringido  Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Revised Selected Papers of the Logic-Based Program Synthesis and Transformation (LOPSTR 2013) 2014
Rank-Nullity Theorem in Linear AlgebraTexto completo open access  Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Archive of Formal Proofs 2013