Concepedia

Nicolas Magaud

NM

Statistics

Publications

4

Citations

85

H-Index

4

Active since

2002

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie

Nicolas Magaud is an author at Centre National de la Recherche Scientifique specializing in engineering, discrete mathematics, and geometry.

ORCID

Top concepts

Publications per year

2002–2012

4

Publications

4

A Proof of GMP Square Root

Yves Bertot, Nicolas Magaud, Paul Zimmermann · Journal of Automated Reasoning · 2002 · 33 citations

Designing and proving correct a convex hull algorithm with hypermaps in Coq

Christophe Brun, Jean‐François Dufourd, Nicolas Magaud · Computational Geometry · 2012 · 25 citations · Full text

, , +9

A case study in formalizing projective geometry in Coq: Desargues theorem

Nicolas Magaud, Julien Narboux, Pascal Schreck · Computational Geometry · 2012 · 14 citations · Full text

, , +4

Formalizing Desargues' theorem in Coq using ranks

Nicolas Magaud, Julien Narboux, Pascal Schreck · 2009 · 13 citations · Full text

, , +13

1–4 of 4