ADEPT: A Heuristic Program for Proving Theorems of Group Theory
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 operation is basically heuristic, incorporating many of the techniques of the human mathematician in a "natural" way. This...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6906 |
| _version_ | 1826192651941052416 |
|---|---|
| author | Norton, Lewis Mark |
| author_facet | Norton, Lewis Mark |
| author_sort | Norton, Lewis Mark |
| collection | MIT |
| description | 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 operation 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. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made. |
| first_indexed | 2024-09-23T09:27:12Z |
| id | mit-1721.1/6906 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T09:27:12Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/69062019-04-10T14:25:33Z ADEPT: A Heuristic Program for Proving Theorems of Group Theory Norton, Lewis Mark 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 operation 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. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made. 2004-10-20T20:06:05Z 2004-10-20T20:06:05Z 1966-09-01 AITR-222 http://hdl.handle.net/1721.1/6906 en_US AITR-222 7596628 bytes 5997158 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Norton, Lewis Mark ADEPT: A Heuristic Program for Proving Theorems of Group Theory |
| title | ADEPT: A Heuristic Program for Proving Theorems of Group Theory |
| title_full | ADEPT: A Heuristic Program for Proving Theorems of Group Theory |
| title_fullStr | ADEPT: A Heuristic Program for Proving Theorems of Group Theory |
| title_full_unstemmed | ADEPT: A Heuristic Program for Proving Theorems of Group Theory |
| title_short | ADEPT: A Heuristic Program for Proving Theorems of Group Theory |
| title_sort | adept a heuristic program for proving theorems of group theory |
| url | http://hdl.handle.net/1721.1/6906 |
| work_keys_str_mv | AT nortonlewismark adeptaheuristicprogramforprovingtheoremsofgrouptheory |