“Automated reasoning in elementary geometry: towards inquiry learning”, ph, vol. 2, no. 2, pp. 1–13, Dec. 2018, Accessed: Apr. 11, 2025. [Online]. Available: https://pedagogical-horizons.org/index.php/ph/article/view/42