Automated reasoning in elementary geometry: towards inquiry learning. ph [Internet]. 2018 Dec. 3 [cited 2025 Apr. 14];2(2):1–13. Available from: https://pedagogical-horizons.org/index.php/ph/article/view/42