On the Notion of Interestingness in Automated Mathematical Discovery
File(s)
Author(s)
Colton S
Bundy A
Walsh T
Type
Journal Article
Date Issued
2000-12-31
Online Publication Date
2008-02-27T15:05:43Z
Citation
International Journal of Human-Computer Studies Vol.( 53 ) No.( 3 ) pp 351 - 375
ISSN
1071-5819
Start Page
351
End Page
375
Copyright Statement
© 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.
Source Volume Number
53