Hohenwarter, M.; Kovács, Z.; Recio, T. Deciding Geometric Properties Symbolically in GeoGebra: TSG 18: Reasoning and Proof in Mathematics Education. R&E-SOURCE 2017.