The Potential of Dynamic Geometry Software in Bridging the Link Between Experimental Verification and Formal Proof. (2016). Turkish Journal of Computer and Mathematics Education (TURCOMAT), 7(1), 24-34. https://www.turcomat.org/index.php/turkbilmat/article/view/105