ERDEM ÇEKMEZ. The Potential of Dynamic Geometry Software in Bridging the Link Between Experimental Verification and Formal Proof. Turkish Journal of Computer and Mathematics Education (TURCOMAT), [S. l.], v. 7, n. 1, p. 24–34, 2016. Disponível em: https://turcomat.org/index.php/turkbilmat/article/view/105. Acesso em: 22 nov. 2024.