 | 2011 |
|---|
| 9 |       | Jónathan Heras,
Vico Pascual,
Julio Rubio:
A System for Computing and Reasoning in Algebraic Topology.
Calculemus/MKM 2011: 295-297 |
| 8 | | Jónathan Heras,
María Poza,
Maxime Dénès,
Laurence Rideau:
Incidence Simplicial Matrices Formalized in Coq/SSReflect.
Calculemus/MKM 2011: 30-44 |
| 7 | | Jónathan Heras,
Vico Pascual,
Julio Rubio:
A Certified Module to Study Digital Images with the Kenzo System.
EUROCAST (1) 2011: 113-120 |
| 6 | | Jónathan Heras,
Vico Pascual,
Julio Rubio,
Francis Sergeraert:
fKenzo: A user interface for computations in Algebraic Topology.
J. Symb. Comput. 46(6): 685-698 (2011) |
| 2010 |
|---|
| 5 | | Jónathan Heras,
Vico Pascual,
Ana Romero,
Julio Rubio:
Integrating Multiple Sources to Answer Questions in Algebraic Topology.
AISC/MKM/Calculemus 2010: 331-335 |
| 4 | | Jónathan Heras,
Vico Pascual,
Julio Rubio:
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.
LOPSTR 2010: 37-51 |
| 3 | | Jónathan Heras,
Vico Pascual,
Ana Romero,
Julio Rubio:
Integrating multiple sources to answer questions in Algebraic Topology
CoRR abs/1005.0749: (2010) |
| 2009 |
|---|
| 2 | | Jónathan Heras,
Vico Pascual,
Julio Rubio:
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.
Calculemus/MKM 2009: 467-473 |
| 2008 |
|---|
| 1 | | Jónathan Heras,
Vico Pascual,
Julio Rubio:
Mediated Access to Symbolic Computation Systems.
AISC/MKM/Calculemus 2008: 446-461 |
Data released under the ODC-BY 1.0 license — See also our legal information page