OpenGeoProver
From MaRDI portal
Software:19232
swMATH7179MaRDI QIDQ19232FDOQ19232
Author name not available (Why is that?)
Cited In (10)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
- New dynamics in dynamic geometry: dragging constructed points
- Portfolio theorem proving and prover runtime prediction for geometry
- The Relation Tool in GeoGebra 5
- Automated theorem proving in GeoGebra: current achievements
- Automated deduction and knowledge management in geometry
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Formalizing complex plane geometry
- Rewriting input expressions in complex algebraic geometry provers
- Applied harmonic analysis and data processing. Abstracts from the workshop held March 25--31, 2018
This page was built for software: OpenGeoProver
