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