Towards a Geometry Automated Provers Competition.

Nuno Baeta Pedro Quaresma Zoltán Kovács

Published in: ThEdu@CADE (2019)

Keyphrases

semi automated
fully automated
automated analysis
international competition
decision trees
face recognition
multiscale
artificial neural networks
semi automatic