Automatic Invention of Integer Sequences

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 558-563

  Colton, Simon ^a   Bundy, Alan ^a   Walsh, Toby ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER PROGRAMMING; PATENTS AND INVENTIONS; PROBLEM SOLVING;

INTEGER SEQUENCE; TWO-STAGE PROCESS;

APPLICATION PROGRAMS;

EID: 85158130086     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Bailey, D. 1998. Finding new mathematical identities via numerical computations. ACM SIGNUM 33(1):17-22.
2. Bernstein, M., and Sloane, N. J. A. 1995. Some canonical sequences of integers. Linear Algebra and its Applications 226-228:57-72.
3. Colton, S.; Bundy, A.; and Walsh, T. 1999. HR: Automatic concept formation in pure mathematics. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence.
4. Colton, S.; Bundy, A.; and Walsh, T. 2000. Automatic identification of mathematical concepts. In Proceedings of the 17th International Conference on Machine Learning.
5. Colton, S. 1999. Refactorable numbers - a machine invention. Journal of Integer Sequences 2.
6. Conway, J., and Norton, S. 1979. Monstrous moonshine. Bulletin of the London Mathematical Society 11:308-339.
7. Davis, R., and Lenat, D. 1982. Knowledge-Based Systems in Artificial Intelligence. McGraw-Hill Advanced Computer Science Series.
8. Golomb, S. W. 1981. The evidence for Fortune's conjecture. Mathematics Magazine 54:209-210.
9. Hardy, G. H., ed. 1927. S. Ramanujan, Collected Papers. Cambridge University Press.
10. Hofstadter, D. 1995. Fluid Concepts and Creative Analogies. Basic Books.
11. Kennedy, R., and Cooper, C. 1990. Tau numbers, natural density and Hardy and Wright's theorem 437. International Journal of Mathematics and Mathematical Sciences 13:2:383-386.
12. Krattenthaler, C. 1991. Advanced determinant calculus. Technical report, Institute of Mathematics, University of Vienna.
13. McCune, W. 1990. The OTTER user's guide. Technical Report ANL/90/9, Argonne National Laboratories.
14. Meredith, M. J. E. 1987. Seek-Whence: A Model of Pattern Perception. Ph.D. Dissertation, Department of Computer Science, Indiana University.
15. Sloane, N. J. A. 1998. My favorite integer sequences. In Proceedings of the International Conference on Sequences and Applications.
16. Sloane, N. J. A. 2000. Encyclopedia of Integer Sequences. http://www.research.att.com/~njas/sequences.
17. Steel, G. 1999. Cross domain theory formation. Master's thesis, Division of Informatics, University of Edinburgh.