ADEPT: A Heuristic Program for Proving Theorems of Group Theory
Name
MIT-LCS-TR-033.pdf
Size
5.34 MB
Format
Adobe PDF
Checksum (MD5)
4959ff3fad204fcdb0bde253c592b206
Author(s)
Norton, Lewis Mark
Advisor(s)
Minsky, Marvin L.
Date Issued
October 1966
Series/Report no.
MIT-LCS-TR-033
MAC-TR-033
Abstract
A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many of the techniques of the human mathematician in a "natural" way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics.
Persistent DSpace Link
