Publicaciones en colaboración con investigadores/as de Technical University Munich (4)

2018

  1. 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

  1. 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

  1. Extracting Computer Algebra programs from statements

    Lecture Notes in Computer Science, Vol. 3643 LNCS, pp. 159-168

2004

  1. Four approaches to automated reasoning with differential algebraic structures

    Lecture Notes in Computer Science, Vol. 3249, pp. 222-235