This intuition was the basis of AM's successor Eurisko, which attempted to generalize the search for mathematical concepts to the search for useful heuristics.
Automated teller machine | John Dee (mathematician) | Baden Powell (mathematician) | Automated external defibrillator | William Browder (mathematician) | Leo the Mathematician | Lajos Pósa (mathematician) | Integrated Automated Fingerprint Identification System | Denver International Airport Automated Guideway Transit System | David Rees (mathematician) | Computer Automated Measurement and Control | Alan Baker (mathematician) | Theaetetus (mathematician) | Henry Briggs (mathematician) | Good Automated Manufacturing Practice | Automated Tropical Cyclone Forecasting System | Automated Transfer Vehicle | Automated teller machine | automated reasoning | William Reinhardt (mathematician) | William Jones (mathematician) | William Boone (mathematician) | Vladimir Rokhlin (Soviet mathematician) | Thomas Muir (mathematician) | Robert Harley (mathematician) | Mahavira (mathematician) | Karl Stein (mathematician) | Hans Hahn (mathematician) | Francis Dominic Murnaghan (mathematician) | David Kelly (mathematician) |