„Automated reasoning in elementary geometry: towards inquiry learning“ (2018) Pädagogische Horizonte, 2(2), S. 1–13. Verfügbar unter: https://pedagogical-horizons.org/index.php/ph/article/view/42 (Zugegriffen: 7 September 2025).