Return to Article Details The Potential of Dynamic Geometry Software in Bridging the Link Between Experimental Verification and Formal Proof Download Download PDF