Automated Reasoning and Enumerative Search, with Applications to Mathematics
Jian Zhang, Larry Wos · WORLD SCIENTIFIC eBooks · 2000
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 mathematical problems more effectively.