Nicolas Magaud
Université de Strasbourg
H-index: 11
Europe-France
Top articles of Nicolas Magaud
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry | Journal of Automated Reasoning | David Braun Nicolas Magaud Pascal Schreck | 2024/3 |
Towards Automatic Transformations of Coq Proof Scripts | arXiv preprint arXiv:2401.11897 | Nicolas Magaud | 2024/1/22 |
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families | arXiv preprint arXiv:2212.10453 | Catherine Dubois Nicolas Magaud Alain Giorgetti | 2022/12/20 |
Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG (3, 2) Using the Coq Proof Assistant | Nicolas Magaud | 2022/7/31 | |
Some representations of real numbers using integer sequences | Mathematical Structures in Computer Science | Loïc Mazo Marie-Andrée Da Col-Jacob Laurent Fuchs Nicolas Magaud Gaëlle Skapin | 2022/5 |
Spreads and Packings of PG (3, 2), Formally! | arXiv preprint arXiv:2201.00541 | Nicolas Magaud | 2022/1/3 |
Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach | arXiv preprint arXiv:2201.00539 | Pascal Schreck Nicolas Magaud David Braun | 2022/1/3 |
Integrating an automated prover for projective geometry as a new tactic in the coq proof assistant | arXiv preprint arXiv:2107.05493 | Nicolas Magaud | 2021/7/6 |
Combinatoire certifiée | GdR Génie de la Programmation et du Logiciel, Défis 2030 | Alain Giorgetti Nicolas Magaud | 2021 |
Two New Ways to Formally Prove Dandelin-Gallucci's Theorem | David Braun Nicolas Magaud Pascal Schreck | 2021/7/18 | |
Contributions au développement des méthodes formelles de preuves et applications à la géométrie | Nicolas Magaud | 2020/11/6 |