HOHENWARTER, M.; KOVÁCS, Z.; RECIO, T. Deciding Geometric Properties Symbolically in GeoGebra: TSG 18: Reasoning and proof in mathematics education. R&E-SOURCE, [S. l.], 2017. Disponível em: https://journal.ph-noe.ac.at/index.php/resource/article/view/411. Acesso em: 27 apr. 2024.