Jesús Aransay

22 papers C 2Misc 3Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2023 C conf
Evasiveness Through Binary Decision Diagrams.
CICM
Jesús Aransay, Laureano Lambán, Julio Rubio
2022 Misc conf
Formalizing Alexander duality through BDDs.
ISAIM
Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio
2021 J jnl
Simplicial Complexes and Boolean functions.
Arch. Formal Proofs
Jesús Aransay, Alejandro del Campo, Julius Michaelis
2018 Misc conf
A Formal Proof of the Computation of Hermite Normal Form in a General Setting.
AISC
Jose Divasón, Jesús Aransay
2017 J jnl
A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem.
J. Autom. Reason.
Jesús Aransay, Jose Divasón
2016 J jnl
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL.
Formal Aspects Comput.
Jesús Aransay, Jose Divasón
2015 J jnl
Echelon Form.
Arch. Formal Proofs
Jose Divasón, Jesús Aransay
2015 J jnl
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm.
J. Funct. Program.
Jesús Aransay, Jose Divasón
2015 — conf
Generalizing a Mathematical Analysis Library in Isabelle/HOL.
NFM
Jesús Aransay, Jose Divasón
2015 J jnl
Hermite Normal Form.
Arch. Formal Proofs
Jose Divasón, Jesús Aransay
2015 J jnl
QR Decomposition.
Arch. Formal Proofs
Jose Divasón, Jesús Aransay
2014 J jnl
Applications of the Gauss-Jordan algorithm, done right.
CoRR
Jesús Aransay, Jose Divasón
2014 J jnl
Gauss-Jordan Algorithm and Its Applications.
Arch. Formal Proofs
Jose Divasón, Jesús Aransay
2013 C conf
Formalization and Execution of Linear Algebra: From Theorems to Algorithms.
LOPSTR
Jesús Aransay, Jose Divasón
2013 J jnl
Rank-Nullity Theorem in Linear Algebra.
Arch. Formal Proofs
Jose Divasón, Jesús Aransay
2010 J jnl
A case-study in algebraic manipulation using mechanized reasoning tools.
Int. J. Comput. Math.
Jesús Aransay, César Domínguez
2010 J jnl
Generating certified code from formal proofs: a case study in homological algebra.
Formal Aspects Comput.
Jesús Aransay, Clemens Ballarin, Julio Rubio
2009 — conf
Modelling Differential Structures in Proof Assistants: The Graded Case.
EUROCAST
Jesús Aransay, César Domínguez
2008 J jnl
A Mechanized Proof of the Basic Perturbation Lemma.
J. Autom. Reason.
Jesús Aransay, Clemens Ballarin, Julio Rubio
2008 J jnl
Mechanized reasoning in Homological Algebra.
AI Commun.
Jesús Aransay
2005 — conf
Extracting Computer Algebra Programs from Statements.
EUROCAST
Jesús Aransay, Clemens Ballarin, Julio Rubio
2004 Misc conf
Four Approaches to Automated Reasoning with Differential Algebraic Structures.
AISC
Jesús Aransay, Clemens Ballarin, Julio Rubio