Jess Aransay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2022
Best venue rank
Australasian
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISAIM | Formalizing Alexander duality through BDDs. | Jess Aransay, Laureano Lambn, Julius Michaelis, Julio Rubio |
| 2018 | AISC | A Formal Proof of the Computation of Hermite Normal Form in a General Setting. | Jose Divasn, Jess Aransay |
| 2013 | LOPSTR | Formalization and Execution of Linear Algebra: From Theorems to Algorithms. | Jess Aransay, Jose Divasn |
| 2004 | AISC | Four Approaches to Automated Reasoning with Differential Algebraic Structures. | Jess Aransay, Clemens Ballarin, Julio Rubio |