“Automated reasoning in elementary geometry: towards inquiry learning” (2018) Pädagogische Horizonte, 2(2), pp. 1–13. Available at: https://www.paedagogische-horizonte.at/index.php/ph/article/view/42 (Accessed: 2 May 2025).