Nicolas Magaud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2022
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ITP | Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3, 2) Using the Coq Proof Assistant. | Nicolas Magaud |
| 2021 | ISSAC | Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. | David Braun, Nicolas Magaud, Pascal Schreck |
| 2018 | AISC | Formalizing Some "Small" Finite Models of Projective Geometry in Coq. | David Braun, Nicolas Magaud, Pascal Schreck |
| 2009 | SAC | Formalizing Desargues' theorem in Coq using ranks. | Nicolas Magaud, Julien Narboux, Pascal Schreck |