The following pages link to OpenGeoProver (Q19232):
Displaying 10 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Applied harmonic analysis and data processing. Abstracts from the workshop held March 25--31, 2018 (Q1731982) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
