Erdem ÇEKMEZ 2016. The Potential of Dynamic Geometry Software in Bridging the Link Between Experimental Verification and Formal Proof. Turkish Journal of Computer and Mathematics Education (TURCOMAT). 7, 1 (Apr. 2016), 24–34.