OpenGeoProver
From MaRDI portal
Cited in
(36)- GCLC
- MONC
- Xeukleides
- CometBoards
- PcGets
- 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
- Eukleides
- GeoProof
- GCLCprover
- GeoThms
- Giac
- ArgoCLP
- gcl
- Automated deduction and knowledge management in geometry
- WinGCLC
- Intergeo
- GEX
- sketchometry
- New dynamics in dynamic geometry: dragging constructed points
- Formalizing complex plane geometry
- TGTP
- MedTree
- Opengeo
- JGEX
- Rewriting input expressions in complex algebraic geometry provers
- Portfolio theorem proving and prover runtime prediction for geometry
- Geometrix
- ArgoTriCS
- Automated theorem proving in GeoGebra: current achievements
- The relation tool in GeoGebra 5
- Computer theorem proving for verifiable solving of geometric construction problems
- GATP
- Matrix Operations
- WGL
- CHYPRE
This page was built for software: OpenGeoProver
