The following pages link to GATP (Q37010):
Displayed 5 items.
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931) (← links)