TY  - RPRT
TI  - Towards a Geometry Automated Provers Competition
AU  - Nuno Baeta
AU  - Pedro Quaresma
AU  - Zoltán Kovács
PY  - 2020
DO  - 10.4204/eptcs.313.6
UR  - https://arxiv.org/abs/2002.12556
ID  - 2002.12556
ER  -