Picture for Nuno Baeta

Nuno Baeta

University of Coimbra, Portugal

Open Geometry Prover Community Project

Add code
Jan 03, 2022
Viaarxiv icon

Towards a Geometry Automated Provers Competition

Add code
Feb 28, 2020
Viaarxiv icon

Towards Ranking Geometric Automated Theorem Provers

Add code
Apr 01, 2019
Figure 1 for Towards Ranking Geometric Automated Theorem Provers
Viaarxiv icon