Pierre Boutry

According to our database1, Pierre Boutry authored at least 9 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
CV2EC: Getting the Best of Both Worlds.
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023
Towards an Independent Version of Tarski's System of Geometry.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

2021
Formalization of the Poincaré Disc Model of Hyperbolic Geometry.
J. Autom. Reason., 2021

2019
Formalization of the arithmetization of Euclidean plane geometry and applications.
J. Symb. Comput., 2019

Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.
J. Autom. Reason., 2019

Poincaré Disc Model.
Arch. Formal Proofs, 2019

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

2016
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015
Herbrand's Theorem and non-Euclidean Geometry.
Bull. Symb. Log., 2015


  Loading...