Simon Colton. Computational Discovery in Pure Mathematics. In Saso Dzeroski, Ljupco Todorovski, editors, Computational Discovery of Scientific Knowledge, Introduction, Techniques, and Applications in Environmental and Life Sciences. Volume 4660 of Lecture Notes in Computer Science, pages 175-201, Springer, 2007. [doi]
Abstract is missing.