Pierre Boutry
According to our database1,
Pierre Boutry
authored at least 9 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024
2023
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
2021
J. Autom. Reason., 2021
2019
J. Symb. Comput., 2019
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.
J. Autom. Reason., 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