[list][*]Chou: [url=http://dl.acm.org/citation.cfm?id=39060]Mechanical geometry theorem proving[/url], 1987[/*][*]Botana, Hohenwarter, Janičić, Kovács, Petrović, Recio, Weitzhofer: [url=https://www.researchgate.net/publication/277353909_Automated_Theorem_Proving_in_GeoGebra_Current_Achievements]Automated Theorem Proving in GeoGebra: Current Achievements[/url], 2015[br][/*][*]Kovács: [url=https://tube.geogebra.org/material/simple/id/251433]7 elementary theorems checked by the Relation Tool[/url], 2014[br][/*][*]Kovács: [url=https://www.researchgate.net/publication/282217663_Computer_Based_Conjectures_and_Proofs_in_Teaching_Euclidean_Geometry]Computer Based Conjectures and Proofs in Teaching Euclidean Geometry[/url], 2015[br][/*][*]Kovács: [url=https://www.researchgate.net/publication/279203438_The_Relation_Tool_in_GeoGebra_5]The Relation Tool in GeoGebra 5[/url], 2015[/*][/list]