| |
| 2008 | ||
|---|---|---|
| 4 | EE | Jesús Aransay: Mechanized reasoning in Homological Algebra. AI Commun. 21(4): 265-267 (2008) |
| 3 | EE | 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 | EE | Jesús Aransay, Clemens Ballarin, Julio Rubio: Extracting Computer Algebra Programs from Statements. EUROCAST 2005: 159-168 |
| 2004 | ||
| 1 | EE | 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 | Julio Rubio (Julio Rubio Garcia) | [1] [2] [3] |