Jesús Aransay

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
On the limitations of ROBDDs in deciding the evasiveness of Boolean functions DML. Discrete Mathematics Letters	2025-11-06	Paper
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