Refactorable numbers - A machine invention

Journal of Integer Sequences

Volumn 2, Issue 2, 1999, Pages

  Colton, Simon ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; GRAPH THEORY; INTEGER PROGRAMMING; ONLINE SYSTEMS; SERVERS; THEOREM PROVING;

FINITE ALGEBRAS; INTEGER SEQUENCES; MEMBERSHIP THEOREMS; REFACTORABLE NUMBERS;

NUMBER THEORY;

EID: 0343700868     PISSN: 15307638     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Bagai, R., Shanbhogue, V., Zytkow, J. M. and Chou, S. C.: Automatic theorem generation in plane geometry, in Lecture Notes in Artificial Intelligence, Vol. 689, Springer-Verlag, 1993.
2. Bundy, A., Colton, S. and Walsh, T.: HR - Automated concept formation in finite algebras, in Proceedings of the Machine Discovery Workshop, ECAI98, Brighton. Also Research Report RP920, Division of Informatics, University of Edinburgh.
3. Fajtlowicz, S.: On conjectures of Graffiti: Discrete Mathematics, Vol. 72, pages 113-118, 1988. (See also Fajtlowicz, S.: On conjectures of Graffiti V. In Proceedings of the 7th International Quadrennial Conference on Graph Theory, Combinatorics and Applications, Vol. 1, pages 367-376, 1995.)
4. Fajtlowicz, S.: On conjectures of Graffiti: Discrete Mathematics, Vol. 72, pages 113-118, 1988. (See also Fajtlowicz, S.: On conjectures of Graffiti V. In Proceedings of the 7th International Quadrennial Conference on Graph Theory, Combinatorics and Applications, Vol. 1, pages 367-376, 1995.)
5. Hardy, G. H. and Wright, E. M.: The Theory of Numbers, Oxford Univ. Press, 1965.
6. McCune, W.: A Davis-Putnam program and its application to finite first order model search: Quasigroup existence problems. Technical Report ANL/MCS-TM-194, Argonne National Laboratory, 1994.
7. McCune, W.: The Otter User's Guide. Technical Report ANL/90/9, Argonne National Laboratory, 1994.
8. Meredith, M. J.: Seek-Whence: A Model of Pattern Perception, Ph.D. dissertation, Department of Computer Science, Indiana University, 1987.
9. New Scientist, 5th Sept. 1998, p. 17, para. 3.
10. Sloane, N. J. A.: The On-Line Encyclopedia of Integer Sequences, published electronically at www.research.att.com/??njas/sequences/.