Hauer, B., Kovacs, Z., Recio, T., & Vélez, P. M. (2018). Automated reasoning in elementary geometry: towards inquiry learning. Pädagogische Horizonte, 2(2), 1–13. Abgerufen von https://pedagogical-horizons.org/index.php/ph/article/view/42