Hauer, Beatrix, Zoltan Kovacs, Tomás Recio, und Pilar M. Vélez. 2018. „Automated Reasoning in Elementary Geometry: Towards Inquiry Learning“. Pädagogische Horizonte 2 (2):1–13. https://pedagogical-horizons.org/index.php/ph/article/view/42.