Unsolved problems in elementary number theory |
| |
| Authors: | Art Quaife |
| |
| Affiliation: | (1) Trans Time, Inc., 10208 Pearmain Street, 94603 Oakland, CA, U.S.A.;(2) Department of Mathematics, University of California, 94720 Berkeley, CA, U.S.A. |
| |
| Abstract: | Thirty-two unsolved problems in elementary number theory are listed as challenge problems for automated reasoning systems. The clausal forms of the conjectures and of their negations are given, suitable as input to resolution theorem provers versed in Peano arithmetic. |
| |
| Keywords: | Unsolved problems number theory automated reasoning mechanical theorem proving |
| 本文献已被 SpringerLink 等数据库收录！ |
|
