“Deciding Geometric Properties Symbolically in GeoGebra: TSG 18: Reasoning and Proof in Mathematics Education”. 2017. R&E-SOURCE, March. https://journal.ph-noe.ac.at/index.php/resource/article/view/411.