The following pages link to (Q4556039):
Displaying 4 items.
- Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints (Q1595928) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- Proof-checking Euclid (Q2631965) (← links)