8 citations · 35 across the 21 of their papers we have counts for
21 papers
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
Pedro Quaresma, Pierluigi Graziani, Stefano M. Nicoletti
The pursue of what are properties that can be identified to permit an automated reasoning program to generate and find new and interesting theorems is an interesting research goal…
Proceedings 14th International Conference on Automated Deduction in Geometry
Pedro Quaresma, Zoltán Kovács
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction…
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…
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,…
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…