GATP

swMATH25268MaRDI QIDQ37010FDOQ37010

Author name not available (Why is that?)

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
• Querying geometric figures using a controlled language, ontological graphs and dependency lattices
• Current status of the I2GATP common format

This page was built for software: GATP