GATP

swMATH25268MaRDI QIDQ37010FDOQ37010

Author name not available (Why is that?)

Described by source

• The Web Geometry Laboratory Project

Cited In (5)

• Taxonomies of geometric problems
• Current Status of the I2GATP Common Format
• Automated deduction and knowledge management in geometry
• Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
• Towards an intelligent and dynamic geometry book

This page was built for software: GATP