- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j3 |      | Nicolas Magaud, Julien Narboux, Pascal Schreck: A case study in formalizing projective geometry in Coq: Desargues theorem. Comput. Geom. 45(8): 406-424 (2012) |
| j2 | | Christophe Brun, Jean-François Dufourd, Nicolas Magaud: Designing and proving correct a convex hull algorithm with hypermaps in Coq. Comput. Geom. 45(8): 436-457 (2012) |
| 2009 | ||
| c5 | | Nicolas Magaud, Julien Narboux, Pascal Schreck: Formalizing Desargues' theorem in Coq using ranks. SAC 2009: 1110-1115 |
| 2008 | ||
| c4 | | Nicolas Magaud, Julien Narboux, Pascal Schreck: Formalizing Projective Plane Geometry in Coq. Automated Deduction in Geometry 2008: 141-162 |
| 2003 | ||
| c3 | | |
| 2002 | ||
| j1 | | Yves Bertot, Nicolas Magaud, Paul Zimmermann: A Proof of GMP Square Root. J. Autom. Reasoning 29(3-4): 225-252 (2002) |
| 2001 | ||
| c2 |  | Nicolas Magaud, Yves Bertot: Changement de représentation des structures de données en Coq: le cas des entiers naturels. JFLA 2001: 1-16 |
| 2000 | ||
| c1 | | Nicolas Magaud, Yves Bertot: Changing Data Structures in Type Theory: A Study of Natural Numbers. TYPES 2000: 181-196 |
| 1 | Yves Bertot | |
| 2 | Christophe Brun | |
| 3 | Jean-François Dufourd | |
| 4 | Julien Narboux | |
| 5 | Pascal Schreck | |
| 6 | Paul Zimmermann |
Data released under the ODC-BY 1.0 license — See also our legal information page