GATP

MaRDI QIDQ37010swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-642-39320-4_30

Described by source

• The web geometry laboratory project

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