AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search
A 1976 technical report from Stanford's computer science department by D. B. Lenat, describing AM, an artificial intelligence program that searches for new mathematical concepts as heuristic search, written for researchers in artificial intelligence and mathematics. Its pictures are line diagrams: a branching tree of set and list concepts with labelled nodes, a hierarchy chart with linked boxes, and a plain triangle with a horizontal bar marked B and C, offering a designer clean schematic structures for diagrams and flowchart-style layouts.
