Nicolas Magaud

	2009
5		Nicolas Magaud, Julien Narboux, Pascal Schreck: Formalizing Desargues' theorem in Coq using ranks. SAC 2009: 1110-1115
	2003
4		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		Nicolas Magaud, Yves Bertot: Changing Data Structures in Type Theory: A Study of Natural Numbers. TYPES 2000: 181-196

Coauthor Index

1	Yves Bertot	[1] [2] [3]
2	Julien Narboux	[5]
3	Pascal Schreck	[5]
4	Paul Zimmermann	[3]

Colors in the list of coauthors