Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Automated theorem provers: a practical tool for the working mathematician?

Automated theorem provers: a practical tool for the working mathematician? In contrast to the widespread use of computer algebra systems in mathematics automated theorem provers have largely met with indifference. There are signs that this is at last beginning to change. We argue that it is inevitable that automated provers will be adopted as a practical tool for the working mathematician. Mathematical applications of automated provers raises profound challenges for their developers. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

Automated theorem provers: a practical tool for the working mathematician?

Loading next page...
 
/lp/springer-journals/automated-theorem-provers-a-practical-tool-for-the-working-x0QVs3pgIf

References (39)

Publisher
Springer Journals
Copyright
Copyright © 2011 by Springer Science+Business Media B.V.
Subject
Computer Science; Computer Science, general; Statistical Physics, Dynamical Systems and Complexity; Mathematics, general; Artificial Intelligence (incl. Robotics)
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/s10472-011-9248-8
Publisher site
See Article on Publisher Site

Abstract

In contrast to the widespread use of computer algebra systems in mathematics automated theorem provers have largely met with indifference. There are signs that this is at last beginning to change. We argue that it is inevitable that automated provers will be adopted as a practical tool for the working mathematician. Mathematical applications of automated provers raises profound challenges for their developers.

Journal

Annals of Mathematics and Artificial IntelligenceSpringer Journals

Published: Jul 16, 2011

There are no references for this article.