8 citations · 35 across the 21 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.AI2022★ 6 cited
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
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,…
cs.LO2022★ 1 cited
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
João Marcos, Walther Neuper, Pedro Quaresma
This EPTCS volume contains the proceedings of the ThEdu'21 workshop, promoted on 11 July 2021, as a satellite event of CADE-28. Due to the COVID-19 pandemic, CADE-28 and all its co…
cs.AI2022★ 3 cited
Open Geometry Prover Community Project
Nuno Baeta, Pedro Quaresma
Mathematical proof is undoubtedly the cornerstone of mathematics. The emergence, in the last years, of computing and reasoning tools, in particular automated geometry theorem prove…