![]() | ![]() |
2009 | ||
---|---|---|
5 | EE | Nicolas Magaud, Julien Narboux, Pascal Schreck: Formalizing Desargues' theorem in Coq using ranks. SAC 2009: 1110-1115 |
2003 | ||
4 | EE | Nicolas Magaud: Changing Data Representation within the Coq System. TPHOLs 2003: 87-102 |
2002 | ||
3 | Yves Bertot, Nicolas Magaud, Paul Zimmermann: A Proof of GMP Square Root. J. Autom. Reasoning 29(3-4): 225-252 (2002) | |
2001 | ||
2 | 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 | ||
1 | EE | Nicolas Magaud, Yves Bertot: Changing Data Structures in Type Theory: A Study of Natural Numbers. TYPES 2000: 181-196 |
1 | Yves Bertot | [1] [2] [3] |
2 | Julien Narboux | [5] |
3 | Pascal Schreck | [5] |
4 | Paul Zimmermann | [3] |