research
∙
01/03/2022
Open Geometry Prover Community Project
Mathematical proof is undoubtedly the cornerstone of mathematics. The em...
share
research
∙
02/28/2020
Towards a Geometry Automated Provers Competition
The geometry automated theorem proving area distinguishes itself by a la...
research
∙
04/01/2019
Towards Ranking Geometric Automated Theorem Provers
The field of geometric automated theorem provers has a long and rich his...
research
∙
03/05/2018