Picture for Pierluigi Graziani

Pierluigi Graziani

University of Urbino

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

Add code
Jan 22, 2024
Viaarxiv icon