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