TY  - RPRT
TI  - Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
AU  - Pedro Quaresma
AU  - Pierluigi Graziani
AU  - Stefano M. Nicoletti
PY  - 2024
DO  - 10.4204/eptcs.398.12
UR  - https://arxiv.org/abs/2401.11905
ID  - 2401.11905
ER  -