2017. Deciding Geometric Properties Symbolically in GeoGebra: TSG 18: Reasoning and proof in mathematics education. R&E-SOURCE. (Mar. 2017).