“Deciding Geometric Properties Symbolically in GeoGebra: TSG 18: Reasoning and proof in mathematics education”, R&E-SOURCE, Mar. 2017, Accessed: Apr. 08, 2025. [Online]. Available: https://journal.ph-noe.ac.at/index.php/resource/article/view/411