Automated reasoning in elementary geometry: towards inquiry learning. Pedagogical Horizons, v. 2, n. 2, p. 1–13, 3 Dec.2018.