Literatur
- Chou: Mechanical geometry theorem proving, 1987
- Botana, Hohenwarter, Janičić, Kovács, Petrović, Recio, Weitzhofer: Automated Theorem Proving in GeoGebra: Current Achievements, 2015
- Kovács: 7 elementary theorems checked by the Relation Tool, 2014
- Kovács: Computer Based Conjectures and Proofs in Teaching Euclidean Geometry, 2015
- Kovács: The Relation Tool in GeoGebra 5, 2015