AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search (1976)
Defense Technical Information Center · leaf 141
AMt Diicovtry in Math«m«tic* at Hauriatie Search Ch*pl«r 6 -IS'J- A … Since AM kept rederiving this in new ways, it seem? surprising that thete is no very common name for the concept. It could be that AM is using techniques which humans don’t - at least, for geometry. The only new bit of knowledge that came out of this experiment was a "u-sp” for Coldbach’s…
Lenat, D. B · Stanford univ ca dept of computer science · Mathematical models · Artificial intelligence · Approach · Tables(data) · Mathematics · Models · Global · Heuristic methods
Internet Archive · Defense Technical Information Center · Public domain (US government work). Free to use for anything.
