4 citations · 7 across the 3 of their papers we have counts for
4 papers
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…
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…
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…
Exchange of Geometric Information Between Applications
Pedro Quaresma, Vanda Santos, Nuno Baeta
The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geom…