Cited in
(16)- Taxonomies of geometric problems
- Automated deduction and knowledge management in geometry
- I2Geo
- GeoProof
- ArgoCLP
- OpenGeoProver
- TGTP
- Electronic Geometry Textbook
- Intergeo
- Opengeo
- JGEX
- Baghera
- WGL
- Towards an intelligent and dynamic geometry book
- Current status of the I2GATP common format
- Querying geometric figures using a controlled language, ontological graphs and dependency lattices
This page was built for software: GATP
