8 citations · 35 across the 21 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023★ 4 cited
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…
cs.LO2023
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…