List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Towards an independent version of Tarski's system of geometry | 2025-09-03 | Paper |
| Formalization of the Poincaré disc model of hyperbolic geometry Journal of Automated Reasoning | 2021-06-09 | Paper |
| Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq Journal of Automated Reasoning | 2019-02-15 | Paper |
| Formalization of the arithmetization of Euclidean plane geometry and applications Journal of Symbolic Computation | 2018-06-14 | Paper |
| Herbrand's theorem and non-Euclidean geometry The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
Research outcomes over time
This page was built for person: Pierre Boutry
