Automated reasoning and enumerative search, with applications to mathematics.

摘要

More and more mathematical problems are being solved with the aid of computers. In this paper, we examine the applications of reasoning and search programs to mathematics. It is also shown that the combination of these two techniques can solve mathematica ...