The following pages link to Pierre Boutry (Q1640644):
Displaying 4 items.
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY (Q2795294) (← links)
