Pierre Boutry

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 7

Top Topics

Intuitionistic Logic

Geometric Structure

Euclidean Plane

Top Venues

J. Autom. Reason.

Bull. Symb. Log.

University of Strasbourg, France (PHD)

Education History

University of Strasbourg, France

PHD

Publications

Pierre Boutry, Stéphane Kastenbaum, Clément Saintier
Towards an Independent Version of Tarski's System of Geometry. CoRR (2024)
Danijela Simic, Filip Maric, Pierre Boutry
Formalization of the Poincaré Disc Model of Hyperbolic Geometry. J. Autom. Reason. 65 (1) (2021)
Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. J. Autom. Reason. 62 (1) (2019)
Danijela Simic, Filip Maric, Pierre Boutry
Poincaré Disc Model. Arch. Formal Proofs 2019 (2019)
Pierre Boutry, Gabriel Braun, Julien Narboux
Formalization of the arithmetization of Euclidean plane geometry and applications. J. Symb. Comput. 90 (2019)
Pierre Boutry, Gabriel Braun, Julien Narboux
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. SCSS (2016)
Michael Beeson, Pierre Boutry, Julien Narboux
Herbrand's Theorem and non-Euclidean Geometry. Bull. Symb. Log. 21 (2) (2015)