Projects per year
Abstract / Description of output
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.
Original language  English 

Pages (fromto)  314 
Number of pages  12 
Journal  Annals of Mathematics and Artificial Intelligence 
Volume  61 
Issue number  1 
DOIs  
Publication status  Published  Jan 2011 
Keywords / Materials (for Nontextual outputs)
 Automated theorem proving
 Mathematician's assistant
 Very large proofs
 Proof understanding
Fingerprint
Dive into the research topics of 'Automated theorem provers: a practical tool for the working mathematician?'. Together they form a unique fingerprint.Projects
 2 Finished

The potential of automated reasoning tools to assist the working mathematician
Bundy, A., Aspinall, D. & Dixon, L.
1/10/10 → 31/12/10
Project: Research
