Picture for Stefano M. Nicoletti

Stefano M. Nicoletti

University of Twente

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

Add code
Jan 22, 2024
Viaarxiv icon