„Automated reasoning in elementary geometry: towards inquiry learning“. Pädagogische Horizonte 2, no. 2 (Dezember 3, 2018): 1–13. Zugegriffen Oktober 3, 2026. https://www.pedagogical-horizons.org/index.php/ph/article/view/42.