@Inproceedings{EPTCS313.6, author = {Baeta, Nuno and Quaresma, Pedro and Kov\'acs, Zolt\'an}, year = {2020}, title = {Towards a Geometry Automated Provers Competition}, editor = {Quaresma, Pedro and Neuper, Walther and Marcos, Jo\~ao}, booktitle = {{\rm Proceedings 8th International Workshop on} Theorem Proving Components for Educational Software, {\rm Natal, Brazil, 25th August 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {313}, publisher = {Open Publishing Association}, pages = {93-100}, doi = {10.4204/EPTCS.313.6}, }