Hauer, B., Kovacs, Z., Recio, T. und Vélez, P. M. (2018) „Automated reasoning in elementary geometry: towards inquiry learning“, Pädagogische Horizonte, 2(2), S. 1–13. Verfügbar unter: https://pedagogical-horizons.org/index.php/ph/article/view/42 (Zugegriffen: 24 November 2024).