4 citations · 7 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2020★ 4 cited
Towards a Geometry Automated Provers Competition
Nuno Baeta, Pedro Quaresma, Zoltán Kovács
The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthet…