most citedConsiderations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2024★ 2 cited

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…