8 citations · 35 across the 21 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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…
cs.LO2024
Proceedings 14th International Conference on Automated Deduction in Geometry
Pedro Quaresma, Zoltán Kovács
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction…