Pages that link to "Item:Q2362499"
From MaRDI portal
The following pages link to Finding proofs in Tarskian geometry (Q2362499):
Displaying 8 items.
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Brouwer and Euclid (Q1688971) (← 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)
- 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)
