| Using small scale automation to improve both accessibility and readability of formal proofs in geometry P Boutry, J Narboux, P Schreck, G Braun Automated Deduction in Geometry 2014, 1-19, 2014 | 27 | 2014 |
| Formalization of the arithmetization of Euclidean plane geometry and applications P Boutry, G Braun, J Narboux Journal of Symbolic Computation 90, 149-168, 2019 | 26 | 2019 |
| Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq P Boutry, C Gries, J Narboux, P Schreck Journal of Automated Reasoning 62, 1-68, 2019 | 22* | 2019 |
| A short note about case distinctions in Tarski's geometry P Boutry, J Narboux, P Schreck, G Braun Automated Deduction in Geometry 2014, 1-15, 2014 | 16 | 2014 |
| From Hilbert to Tarski G Braun, P Boutry, J Narboux Eleventh International Workshop on Automated Deduction in Geometry, 19, 2016 | 13 | 2016 |
| From Tarski to Descartes: formalization of the arithmetization of Euclidean geometry P Boutry, G Braun, J Narboux SCSS 2016, the 7th International Symposium on Symbolic Computation in …, 2016 | 11 | 2016 |
| Somme des angles d'un triangle et unicité de la parallèle: une preuve d'équivalence formalisée en Coq C Gries, P Boutry, J Narboux Les vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA …, 2016 | 8 | 2016 |
| A reflexive tactic for automated generation of proofs of incidence to an affine variety P Boutry, J Narboux, P Schreck | 8 | 2015 |
| Herbrand’s theorem and non-Euclidean geometry M Beeson, P Boutry, J Narboux Bulletin of Symbolic Logic 21 (2), 111-122, 2015 | 7 | 2015 |
| On the formalization of foundations of geometry P Boutry Université de Strasbourg, 2018 | 6 | 2018 |
| GeoCoq M Beeson, P Boutry, G Braun, C Gries, J Narboux | 6 | 2018 |
| Formalization of the poincaré disc model of hyperbolic geometry D Simić, F Marić, P Boutry Journal of Automated Reasoning 65, 31-73, 2021 | 5 | 2021 |
| Axiomes de continuité en géométrie neutre: une étude mécanisée en Coq C Gries, J Narboux, P Boutry Journées Francophones des Langages Applicatifs 2019, 2019 | 2 | 2019 |
| Poincaré disc model D Simić, F Marić, P Boutry Archive of Formal Proofs, 2019 | 1 | 2019 |
| Towards an Independent Version of Tarski's System of Geometry P Boutry, S Kastenbaum, C Saintier arXiv preprint arXiv:2401.11904, 2024 | | 2024 |
| CV2EC: Getting the Best of Both Worlds B Blanchet, P Boutry, C Doczkal, B Grégoire, PY Strub | | 2023 |
| Tutorial Laboratory-GeoCoq to formalize high-school geometry problems P Boutry, J Narboux ADG 2023-Automated Deduction in Geometry 2023, 2023 | | 2023 |
