Artículos de revistas:
Divasón Mallagaray, José

Encontrados 14 registros. 1 de 1
  • 1
Título Autores Revista Año
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
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
Generalizing a mathematical analysis library in Isabelle/HOL

Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Lecture Notes in Computer Science 2015
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm

Texto completo open access 
Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Journal of Functional Programming 2015
QR Decomposition

Texto completo open access 
Divasón Mallagaray, JoséAransay Azofra, Jesús María Archive of Formal Proofs 2015
Hermite Normal Form

Texto completo open access 
Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Archive of Formal Proofs 2015
Echelon Form

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

Texto completo open access 
Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Archive of Formal Proofs 2013
  • 1