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