ADEPT: A Heuristic Program for Proving Theorems of Group Theory

Title: en_US ADEPT: A Heuristic Program for Proving Theorems of Group Theory
Creator: en_US Norton, Lewis Mark
Date: 2004-10-20T20:06:05Z
Date Available: 2004-10-20T20:06:05Z
Date Issued: en_US 1966-09-01
Identifier: en_US AITR-222
uri: http://hdl.handle.net/1721.1/6906
Abstract: en_US 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.
Extent: 7596628 bytes; 5997158 bytes
Format: application/postscript; application/pdf
Language: en_US
Relation: en_US AITR-222