Cited in
(18)- New dynamics in dynamic geometry: dragging constructed points
- Portfolio theorem proving and prover runtime prediction for geometry
- Learning to solve geometric construction problems from images
- Constructibility classes for triangle location problems
- GCLC
- Xeukleides
- Eukleides
- ArgoCLP
- gcl
- OpenGeoProver
- TGTP
- Electronic Geometry Textbook
- WinGCLC
- sketchometry
- meSAT
- Baghera
- Towards an intelligent and dynamic geometry book
- Euclidea
This page was built for software: ArgoTriCS
