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