The evolution of ICT and its adoption in higher education is driving greater interactivity in teaching and learning processes. The teaching/learning paradigm has been changing. Both educational actors, teacher and student, are increasingly adapting to use technologies. This article presents a study that enhances how technologies can be used in the…

Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…