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