“The Potential of Dynamic Geometry Software in Bridging the Link Between Experimental Verification and Formal Proof” (2016) Turkish Journal of Computer and Mathematics Education (TURCOMAT), 7(1), pp. 24–34. Available at: https://www.turcomat.org/index.php/turkbilmat/article/view/105 (Accessed: 2 June 2026).