The full angle method on the OpenGeoProver.
Nuno Baeta, Pedro Quaresma · 2013
Geometry with its formal, logical and spatial properties is well suited to be taught in an environment that includes dynamic geometry software (DGSs), geometry automated theorem provers (GATPs) and repositories of geometric problems (RGPs). With the integration of those tools in a given learning environment the student is able to explore the built-in knowledge, but also to do new constructions, and to test