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

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