Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices

Yannis Haralambous, Pedro Quaresma

Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for example, in education. Geometry Automated Theorem Provers (GATP) are an active area of rese…