Automated Reasoning Tools in GeoGebra

By Tomás Recio, Zoltán Kovács and M. Pilar Vélez. GeoGebra is capable of supporting the teaching of Euclidean plane geometry theorems by using numerical and symbolic computations. For these purposes some tools for the automatic proving and discovery of geometric theorems have been developed, namely the LocusEquation and Envelope commands, the extended Relation tool and command and the Prove and ProveDetails commands. They enrich the numerical study of Euclidean geometry by using advanced computer algebra algorithms.