Peter Vajo, Agnes Bazso, Daniel Toth
Department of Mathematics, J. Selye University (Slovakia)
https://doi.org/10.53656/math2026-2-6-dia
Abstract. Dynamic Geometry Systems have advanced considerably in recent years, yet the lack of open-source solutions that can automatically
verify answers and provide feedback on geometric construction exercises still limits their wider use in education. This challenge arises from the inherent diculty of assessing complex geometric constructions with computational methods. GeoTry was designed to address this need as an interactive digital learning resource developed with GeoGebra. It supports both teachers and learners by automatically verifying geometric construction exercises and offering structured guidance based on Polya’s problem-solving approach. We investigate how automatic verication can be meaningfully embedded in geometric construction exercises, focusing on the underlying design principles and technical considerations.
Keywords: GeoGebra, geometric construction problems, interactive learning, automatic verication, scaolding, feedback


