Jesús Aransay

According to our database, Jesús Aransay authored at least 23 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Evasiveness Through Binary Decision Diagrams.

Jesús Aransay, Laureano Lambán, Julio Rubio

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2022

Formalizing Alexander duality through BDDs.

Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

2021

Simplicial Complexes and Boolean functions.

Jesús Aransay, Alejandro del Campo, Julius Michaelis

Arch. Formal Proofs, 2021

2018

A Formal Proof of the Computation of Hermite Normal Form in a General Setting.

Jose Divasón, Jesús Aransay

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem.

Jesús Aransay, Jose Divasón

J. Autom. Reason., 2017

2016

Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL.

Jesús Aransay, Jose Divasón

Formal Aspects Comput., 2016

2015

Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm.

Jesús Aransay, Jose Divasón

J. Funct. Program., 2015

Hermite Normal Form.

Jose Divasón, Jesús Aransay

Arch. Formal Proofs, 2015

Echelon Form.

Jose Divasón, Jesús Aransay

Arch. Formal Proofs, 2015

QR Decomposition.

Jose Divasón, Jesús Aransay

Arch. Formal Proofs, 2015

Generalizing a Mathematical Analysis Library in Isabelle/HOL.

Jesús Aransay, Jose Divasón

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Applications of the Gauss-Jordan algorithm, done right.

Jesús Aransay, Jose Divasón

CoRR, 2014

Gauss-Jordan Algorithm and Its Applications.

Jose Divasón, Jesús Aransay

Arch. Formal Proofs, 2014

Obtaining an ACL2 Specification from an Isabelle/HOL Theory.

Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013

Rank-Nullity Theorem in Linear Algebra.

Jose Divasón, Jesús Aransay

Arch. Formal Proofs, 2013

Formalization and Execution of Linear Algebra: From Theorems to Algorithms.

Jesús Aransay, Jose Divasón

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2010

A case-study in algebraic manipulation using mechanized reasoning tools.

Jesús Aransay, César Domínguez

Int. J. Comput. Math., 2010

Generating certified code from formal proofs: a case study in homological algebra.

Jesús Aransay, Clemens Ballarin, Julio Rubio

Formal Aspects Comput., 2010

2009

Modelling Differential Structures in Proof Assistants: The Graded Case.

Jesús Aransay, César Domínguez

Proceedings of the Computer Aided Systems Theory, 2009

2008

A Mechanized Proof of the Basic Perturbation Lemma.

Jesús Aransay, Clemens Ballarin, Julio Rubio

J. Autom. Reason., 2008

Mechanized reasoning in Homological Algebra.

Jesús Aransay

AI Commun., 2008

2005

Extracting Computer Algebra Programs from Statements.

Jesús Aransay, Clemens Ballarin, Julio Rubio

Proceedings of the Computer Aided Systems Theory, 2005

2004

Four Approaches to Automated Reasoning with Differential Algebraic Structures.

Jesús Aransay, Clemens Ballarin, Julio Rubio

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004