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 organization is basically heuristic, incorporating many of the techniques of the human mathematician in a "natural" way. This...
Main Author: | |
---|---|
Other Authors: | |
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149355 |
_version_ | 1811097174624174080 |
---|---|
author | Norton, Lewis Mark |
author2 | Minsky, Marvin L. |
author_facet | Minsky, Marvin L. 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 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. |
first_indexed | 2024-09-23T16:55:31Z |
id | mit-1721.1/149355 |
institution | Massachusetts Institute of Technology |
last_indexed | 2024-09-23T16:55:31Z |
publishDate | 2023 |
record_format | dspace |
spelling | mit-1721.1/1493552023-03-30T03:02:21Z ADEPT: A Heuristic Program for Proving Theorems of Group Theory Norton, Lewis Mark Minsky, Marvin L. 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. 2023-03-29T14:52:16Z 2023-03-29T14:52:16Z 1966-10 https://hdl.handle.net/1721.1/149355 00835777 08083181 MIT-LCS-TR-033 MAC-TR-033 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 | https://hdl.handle.net/1721.1/149355 |
work_keys_str_mv | AT nortonlewismark adeptaheuristicprogramforprovingtheoremsofgrouptheory |