The potential of automated reasoning tools to assist the working mathematician

Bundy, Alan (Principal Investigator)
Aspinall, David (Co-investigator)
Dixon, Lucas (Co-investigator)

1 Other report
1 Article

1 results

Filter

2011
Automated theorem provers: a practical tool for the working mathematician?
Bundy, A., Jan 2011, In: Annals of Mathematics and Artificial Intelligence. 61, 1, p. 3-14 12 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File