| dc.contributor.advisor | Minsky, Marvin L. | en_US |
| dc.contributor.author | Norton, Lewis Mark | en_US |
| dc.date.accessioned | 2023-03-29T14:52:16Z | |
| dc.date.available | 2023-03-29T14:52:16Z | |
| dc.date.issued | 1966-10 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149355 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-033 | |
| dc.relation.ispartofseries | MAC-TR-033 | |
| dc.title | ADEPT: A Heuristic Program for Proving Theorems of Group Theory | en_US |
| dc.identifier.oclc | 00835777 | |
| dc.identifier.oclc | 08083181 | |
