Hohenwarter, M., Kovács, Z. und Recio, T. 2017. Deciding Geometric Properties Symbolically in GeoGebra: TSG 18: Reasoning and proof in mathematics education. R&E-SOURCE. (März 2017).