Pierre Boutry

According to our database, Pierre Boutry authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards an Independent Version of Tarski's System of Geometry.

Pierre Boutry, Stéphane Kastenbaum, Clément Saintier

CoRR, 2024

2021

Formalization of the Poincaré Disc Model of Hyperbolic Geometry.

Danijela Simic, Filip Maric, Pierre Boutry

J. Autom. Reason., 2021

2019

Formalization of the arithmetization of Euclidean plane geometry and applications.

Pierre Boutry, Gabriel Braun, Julien Narboux

J. Symb. Comput., 2019

Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.

Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck

J. Autom. Reason., 2019

Poincaré Disc Model.

Danijela Simic, Filip Maric, Pierre Boutry

Arch. Formal Proofs, 2019

2018

On the Formalization of Foundations of Geometry. (Sur la formalisation des fondements de la géométrie).

Pierre Boutry

PhD thesis, 2018

2016

From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.

Pierre Boutry, Gabriel Braun, Julien Narboux

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015

Herbrand's Theorem and non-Euclidean Geometry.

Michael Beeson, Pierre Boutry, Julien Narboux

Bull. Symb. Log., 2015