“Deciding Geometric Properties Symbolically in GeoGebra: TSG 18: Reasoning and proof in mathematics education” (2017) R&E-SOURCE [Preprint]. Available at: https://journal.ph-noe.ac.at/index.php/resource/article/view/411 (Accessed: 22 December 2024).