Erdem ÇEKMEZ. The Potential of Dynamic Geometry Software in Bridging the Link Between Experimental Verification and Formal Proof. TURCOMAT 2016, 7, 24-34.