Publications at the Joint Centre:
2013
Conference papers
titre
A Machine-Checked Proof of the Odd Order Theorem auteur
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O’Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
article
Sandrine Blazy and Christine Paulin and David Pichardie. ITP 2013, 4th Conference on Interactive Theorem Proving , Jul 2013, Rennes, France. Springer, 7998, pp.163-179, 2013, LNCS. <10.1007/978-3-642-39634-2_14>
Accès au texte intégral et bibtex
2011
Theses
titre
Generic Proof Tools and Finite Group Theory auteur
François Garillot
article
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English
Accès au texte intégral et bibtex
2009
Conference papers
titre
Packaging Mathematical Structures auteur
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau
article
Tobias Nipkow and Christian Urban. Theorem Proving in Higher Order Logics , 2009, Munich, Germany. Springer, 5674, 2009, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
