Publicaciones en las que colabora con Clemens Ballarin (8)

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

2008

  1. A mechanized proof of the Basic Perturbation Lemma

    Journal of Automated Reasoning, Vol. 40, Núm. 4, pp. 271-292

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

2003

  1. Towards a higher reasoning level in Formalized Homological Algebra

    Calculemus 2003 (ARACNE EDITRICE), pp. 84-88

2002

  1. Mechanizing proofs in Homological Algebra

    SEKI Report - Universität des Saarlandes, Vol. SR - 02 - 06, pp. 13-18

  2. Towards an automated proof of the Basic Perturbation Lemma

    Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002

  3. Towards an automated proof of the Basic Perturbation Lemma (Abstract)

    Communications in Computer Algebra (SIGSAM Bulletin), pp. 218-218