The following pages link to From Tarski to Hilbert (Q2849509):
Displaying 12 items.
- Towards a certified version of the encyclopedia of triangle centers (Q294378) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← 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)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- A synthetic proof of Pappus' theorem in Tarski's geometry (Q2362204) (← links)
- Finding proofs in Tarskian geometry (Q2362499) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
