On the notion of interestingness in automated mathematical discovery

Simon Colton, Alan Bundy, Toby Walsh. On the notion of interestingness in automated mathematical discovery. International Journal of Man-Machine Studies, 53(3):351-375, 2000. [doi]

Abstract

Abstract is missing.