Jesús Aransay

zbMath Openaransay.jesusMaRDI QIDQ333323

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Evasiveness through binary decision diagrams Lecture Notes in Computer Science	2024-02-28	Paper
A Formal Proof of the Computation of Hermite Normal Form in a General Setting Artificial Intelligence and Symbolic Computation	2023-06-30	Paper
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm Journal of Functional Programming	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 Journal of Automated Reasoning	2017-07-06	Paper
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL Formal Aspects of Computing	2016-10-28	Paper
Formalization and execution of linear algebra: from theorems to algorithms Logic-Based Program Synthesis and Transformation	2015-11-30	Paper
Generating certified code from formal proofs: a case study in homological algebra Formal Aspects of Computing	2010-05-05	Paper
A mechanized proof of the basic perturbation lemma Journal of Automated Reasoning	2008-06-11	Paper
Computer Aided Systems Theory – EUROCAST 2005 Lecture Notes in Computer Science	2006-11-01	Paper
Artificial Intelligence and Symbolic Computation Lecture Notes in Computer Science	2005-08-19	Paper

Research outcomes over time

This page was built for person: Jesús Aransay