Automated reasoning in elementary geometry: towards inquiry learning. Pädagogische Horizonte, v. 2, n. 2, p. 1–13, 3 Dez.2018.