8 citations · 35 across the 21 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
Pedro Quaresma, Walther Neuper, João Marcos
This EPTCS volume contains the proceedings of the ThEdu'19 workshop, promoted on August 25, 2019, as a satellite event of CADE-27, in Natal, Brazil. Representing the eighth install…
Towards Ranking Geometric Automated Theorem Provers
Nuno Baeta, Pedro Quaresma
The field of geometric automated theorem provers has a long and rich history, from the early AI approaches of the 1960s, synthetic provers, to today algebraic and synthetic provers…
Proceedings 7th International Workshop on Theorem proving components for Educational software
Pedro Quaresma, Walther Neuper
The 7th International Workshop on Theorem proving components for Educational software (ThEdu'18) was held in Oxford, United Kingdom, on 18 July 2018. It was associated to the confe…