no code implementations • 10 Mar 2023 • Joana Teles, Vanda Santos, Pedro Quaresma
Beyond the problems related with the curricula and the teachers, the dissonance between the outcomes of the geometry automated theorem provers and the normal practice of conjecturing and proving in schools is a major barrier to a wider use of such tools in an educational environment.
no code implementations • 8 Feb 2022 • Pedro Quaresma, Vanda Santos
The introduction of automated deduction systems in secondary schools face several bottlenecks, the absence of the subject of rigorous mathematical demonstrations in the curricula, the lack of knowledge by the teachers about the subject and the difficulty of tackling the task by automatic means.