8 citations · 12 across the 4 of their papers we have counts for
4 papers
Proceedings 12th International Workshop on Theorem proving components for Educational software
Julien Narboux, Walther Neuper, Pedro Quaresma
The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favo…
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
Joana Teles, Vanda Santos, Pedro Quaresma
The introduction of automated deduction systems in secondary schools face several bottlenecks. Beyond the problems related with the curricula and the teachers, the dissonance betwe…
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software
Pedro Quaresma, João Marcos, Walther Neuper
The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favo…
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment
Vanda Santos, Pedro Quaresma
The area of geometry with its very strong and appealing visual contents and its also strong and appealing connection between the visual content and its formal specification, is an…