“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, Accessed: Jun. 02, 2026. [Online]. Available: https://www.turcomat.org/index.php/turkbilmat/article/view/105