Julio
Rubio García
CATEDRÁTICO DE UNIVERSIDAD
![Foto de Julio](/img/uploaded/934D39571F66883FB3572913A7DCEBA6.jpg)
![Foto de Technical University Munich](/img/noimage_org.png)
Technical University Munich
Múnich, AlemaniaPublikationen in Zusammenarbeit mit Forschern von Technical University Munich (3)
2010
-
Generating certified code from Formal Proofs: a case study in Homological Algebra
Formal Aspects of Computing, Vol. 22, Núm. 2, pp. 193-213
2005
-
Extracting Computer Algebra programs from statements
Lecture Notes in Computer Science, Vol. 3643 LNCS, pp. 159-168
2004
-
Four approaches to automated reasoning with differential algebraic structures
Lecture Notes in Computer Science, Vol. 3249, pp. 222-235