Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry.

Hongbiao Gao, Jianbin Li, Jingde Cheng

Browse the full UIC paper archive.