Deciding Geometric Properties Symbolically in GeoGebra: TSG 18: Reasoning and proof in mathematics education. R&E-SOURCE. Published online March 8, 2017. Accessed April 4, 2025. https://journal.ph-noe.ac.at/index.php/resource/article/view/411