Deciding Geometric Properties Symbolically in GeoGebra: TSG 18: Reasoning and Proof in Mathematics Education. R&E-SOURCE 2017.