Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

Pedro Quaresma, Pierluigi Graziani, Stefano M. Nicoletti

The pursue of what are properties that can be identified to permit an automated reasoning program to generate and find new and interesting theorems is an interesting research goal…