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
Citation
International Journal of Human-Computer Studies, 2000, 53, pp.351-375
ISSN
1071-5819
Publisher
Elsevier
Start Page
351
End Page
375
Journal / Book Title
International Journal of Human-Computer Studies
Volume
53
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.
Identifier
http://pubs.doc.ic.ac.uk/interestingness-ijhcs
Source Volume Number
53