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...
| मुख्य लेखक: | |
|---|---|
| भाषा: | en_US |
| प्रकाशित: |
2004
|
| ऑनलाइन पहुंच: | http://hdl.handle.net/1721.1/6906 |