Matemáticas y Computación
Departamento
![Foto de Matemáticas y Computación](/img/uploaded/25989BB6BF2B0A792D66730C261DECB0.jpg)
![Foto de Technical University Munich](/img/noimage_org.png)
Technical University Munich
Múnich, AlemaniaPublicaciones en colaboración con investigadores/as de Technical University Munich (5)
2020
-
FRIPON: A worldwide network to track incoming meteoroids
Astronomy and Astrophysics, Vol. 644
2018
-
Efficient certification of complexity proofs formalizing the Perron-Frobenius theorem (invited talk paper)
CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018
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