Follow
Pierre Boutry
Pierre Boutry
Verified email at unistra.fr - Homepage
Title
Cited by
Cited by
Year
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
262014
Formalization of the arithmetization of Euclidean plane geometry and applications
P Boutry, G Braun, J Narboux
Journal of Symbolic Computation 90, 149-168, 2019
202019
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
17*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
152014
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
112016
From Hilbert to Tarski
G Braun, P Boutry, J Narboux
Eleventh International Workshop on Automated Deduction in Geometry, 19, 2016
102016
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
82016
A reflexive tactic for automated generation of proofs of incidence to an affine variety
P Boutry, J Narboux, P Schreck
72015
On the formalization of foundations of geometry
P Boutry
Université de Strasbourg, 2018
62018
GeoCoq
M Beeson, P Boutry, G Braun, C Gries, J Narboux
62018
Herbrand’s theorem and non-Euclidean geometry
M Beeson, P Boutry, J Narboux
Bulletin of Symbolic Logic 21 (2), 111-122, 2015
62015
Formalization of the poincaré disc model of hyperbolic geometry
D Simić, F Marić, P Boutry
Journal of Automated Reasoning 65, 31-73, 2021
22021
Axiomes de continuité en géométrie neutre: une étude mécanisée en Coq
C Gries, J Narboux, P Boutry
22018
Poincaré disc model
D Simić, F Marić, P Boutry
Archive of Formal Proofs, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–14