Colton SBundy AWalsh T2008-02-272008-02-272000International Journal of Human-Computer Studies, 2000, 53, pp.351-3751071-5819http://hdl.handle.net/10044/1/675© 2000 Academic Press. This is the author’s version of a work that was accepted for publication in International Journal of Human-Computer Studies. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in International Journal of Human-Computer Studies, volume 53, issue 3 (September 2000). doi:10.1006/ijhc.2000.0394.On the Notion of Interestingness in Automated Mathematical DiscoveryJournal Article10.1006/ijhc.2000.0394http://dx.doi.org/10.1006/ijhc.2000.0394