- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Jesús Aransay, César Domínguez: Modelling Differential Structures in Proof Assistants: The Graded Case. EUROCAST 2009: 203-210 |
| 2008 | ||
| 4 | | Jesús Aransay: Mechanized reasoning in Homological Algebra. AI Commun. 21(4): 265-267 (2008) |
| 3 | | Jesús Aransay, Clemens Ballarin, Julio Rubio: A Mechanized Proof of the Basic Perturbation Lemma. J. Autom. Reasoning 40(4): 271-292 (2008) |
| 2005 | ||
| 2 | | Jesús Aransay, Clemens Ballarin, Julio Rubio: Extracting Computer Algebra Programs from Statements. EUROCAST 2005: 159-168 |
| 2004 | ||
| 1 | | Jesús Aransay, Clemens Ballarin, Julio Rubio: Four Approaches to Automated Reasoning with Differential Algebraic Structures. AISC 2004: 222-235 |
| 1 | Clemens Ballarin | [1] [2] [3] |
| 2 | César Domínguez | [5] |
| 3 | Julio Rubio (Julio Rubio Garcia) | [1] [2] [3] |