GATP
From MaRDI portal
Software:37010
No author found.
Related Items (5)
Current Status of the I2GATP Common Format ⋮ Towards an intelligent and dynamic geometry book ⋮ Automated deduction and knowledge management in geometry ⋮ Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices ⋮ Taxonomies of geometric problems
This page was built for software: GATP
