Pages that link to "Item:Q2362499"
From MaRDI portal
The following pages link to Finding proofs in Tarskian geometry (Q2362499):
Displaying 14 items.
- A constructive version of Tarski's geometry (Q490871) (← links)
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- The undecidability of orthogonal and origami geometries (Q1799289) (← links)
- Automated development of Tarski's geometry (Q1825046) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← 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)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Euclid after Computer Proof-Checking (Q5094535) (← links)
- The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)