“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.