Hauer B, Kovacs Z, Recio T, Vélez PM. Automated reasoning in elementary geometry: towards inquiry learning. ph [Internet]. 3. Dezember 2018 [zitiert 8. September 2024];2(2):1–13. Verfügbar unter: https://paedagogische-horizonte.at/index.php/ph/article/view/42