Automated reasoning in elementary geometry: towards inquiry learning. ph. 2018;2(2):1–13. Zugegriffen Mai 9, 2026. https://paedagogische-horizonte.at/index.php/ph/article/view/42