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