Erdem ÇEKMEZ, “The Potential of Dynamic Geometry Software in Bridging the Link Between Experimental Verification and Formal Proof”, TURCOMAT, vol. 7, no. 1, pp. 24–34, Apr. 2016.