|
|
|
|
|
Departamento
de Matemáticas y Computación
|
|
Curriculum
de Jesús maría Aransay Azofra
|
|
|
- Object Oriented Implementation of Algebraic
Structures: a Case Study in Java and C++
Aransay J., Olarte J.J., Rubio J.
7º
Encuentro de Álgebra Computacional y Aplicaciones, EACA2001
- Mechanizing Proofs in Homological Algebra
Aransay J. Ballarin C., Rubio J.
Calculemus Autumn School 2002
- Towards an Automated Proof of the Basic
Perturbation Lemma
Aransay J., Ballarin C., Rubio J.
8º Encuentro de Álgebra Computacional y
Aplicaciones, EACA2002
- Deduction and
Computation in Algebraic Topology
Aransay J., Ballarin
C., Rubio J.
I Taller
Iberoamericano sobre Deducción Automática e Inteligencia Artificial
- Towards a Higher Reasoning Level in
Formalized Homological Algebra
Aransay J., Ballarin C., Rubio J.
Calculemus 2003
- Four Approaches to Automated Reasoning with
Differential Algebraic Structures
Aransay J., Ballarin C., Rubio J.
7th International Conference on
Artificial Intelligence and Symbolic Computation, AISC2004
- Extracting computer algebra programs from statements
Aransay J., Ballarin C., Rubio J.
10th International Conference on
Computer Aided Systems Theory, EUROCAST2005
- Mechanized Reasoning in Homological Algebra
Aransay J.
Ph.D. thesis (April, 2006)
- A mechanized proof of the Basic Perturbation Lemma
Aransay J., Ballarin C., Rubio J.
Journal of Automated Reasoning (to appear)
|
|
|
Ultima modificación: 10 de Marzo de 2008
 Jesús María Aransay Azofra 
|
