Learning Interestingness in Automated Mathematical Theory Formation

Open in new window