Pages that link to "Item:Q2354917"
From MaRDI portal
The following pages link to Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917):
Displaying 10 items.
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Tarski geometry axioms. III (Q1795563) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- Finding proofs in Tarskian geometry (Q2362499) (← links)
- Tarski geometry axioms. IV: Right angle (Q2416858) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Tarski geometry axioms. V: Half-planes and planes (Q6557128) (← links)
