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