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

Re-assign community