Automated Mathematician - Further Reading

Further Reading

  • Lenat, D.B., (1976), AM: An artificial intelligence approach to discovery in mathematics as heuristic search, Ph.D. Thesis, AIM-286, STAN-CS-76-570, and Heuristic Programming Project Report HPP-76-8, Stanford University, AI Lab., Stanford, CA. Published in Knowledge-based systems in artificial intelligence along with Randall Davis's Ph.D. Thesis, McGraw-Hill, 1982.
  • Lenat, D. B., and Brown, J. S. (August 1984). "Why AM and EURISKO appear to work." Artificial Intelligence 23(3):269—294.
  • Ritchie, G. D., and Hanna, F. K. (August 1984). "AM: A case study in AI methodology" Artificial Intelligence 23(3):249—268.

Read more about this topic:  Automated Mathematician

Famous quotes containing the word reading:

    When committees gather, each member is necessarily an actor, uncontrollably acting out the part of himself, reading the lines that identify him, asserting his identity.... We are designed, coded, it seems, to place the highest priority on being individuals, and we must do this first, at whatever cost, even if it means disability for the group.
    Lewis Thomas (b. 1913)

    For aesthetics is the mother of ethics.... Were we to choose our leaders on the basis of their reading experience and not their political programs, there would be much less grief on earth. I believe—not empirically, alas, but only theoretically—that for someone who has read a lot of Dickens to shoot his like in the name of an idea is harder than for someone who has read no Dickens.
    Joseph Brodsky (b. 1940)