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), vol. 7, no. 1, Apr. 2016, pp. 24-34, https://turcomat.org/index.php/turkbilmat/article/view/105.