Jesús Aransay

Available identifiers

Publication	Date of Publication	Type
Evasiveness through binary decision diagrams	2024-02-28	Paper
A Formal Proof of the Computation of Hermite Normal Form in a General Setting	2023-06-30	Paper
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm	2017-10-23	Paper
A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem	2017-07-06	Paper
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL	2016-10-28	Paper
Formalization and Execution of Linear Algebra: From Theorems to Algorithms	2015-11-30	Paper
Generating certified code from formal proofs: a case study in homological algebra	2010-05-05	Paper
A mechanized proof of the basic perturbation lemma	2008-06-11	Paper
Computer Aided Systems Theory – EUROCAST 2005	2006-11-01	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper

This page was built for person: Jesús Aransay