Outline
7 elementary theorems checked by the Relation Tool
The Relation Tool in GeoGebra 5 provides symbolical check of verifying the truth of a statement. In this GeoGebraBook we investigate 7 introductory theorems from elementary geometry which can be properly checked in the web version of GeoGebra 5 as well by using the Giac computer algebra system and its advanced Gröbner basis computation algorithm.
