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
Obtaining an ACL2 specification from an Isabelle/HOL theory

Texto completo open access 
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
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

Aransay Azofra, Jesús MaríaMata Sotés, Eloy JavierOlarte Larrea, Juan JoséRubio García, JulioJaime Elizondo, ArturoPascual Martínez-Losa, María VicoLambán Pardo, LaureanoDomínguez Pérez, CésarSáenz de Cabezón Irigaray, EduardoRomero Ibáñez, AnaGarcía Izquierdo, Francisco JoséPérez Valle, BeatrizHeras Vicente, JonathanMata Martínez, GadeaRubio García, Angel LuisDivasón Mallagaray, José Zubía 2014
Formalization and execution of linear algebra: From theorems to algorithms

Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Lecture Notes in Computer Science 2014
Gauss-Jordan algorithm and its applications

Texto 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 theory

Texto completo open access 
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 algorithms

Texto completo open access 
Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Revised Selected Papers of the Logic-Based Program Synthesis and Transformation (LOPSTR 2013) 2014