Automated theorem provers: a practical tool for the working mathematician? (Q657585)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated theorem provers: a practical tool for the working mathematician? |
scientific article |
Statements
Automated theorem provers: a practical tool for the working mathematician? (English)
0 references
10 January 2012
0 references
The author lists some reasons which in his opinion form obstacles for using automated theorem provers by mathematicians and speculates on potential applications of the related work of his group.
0 references
automated theorem proving
0 references
0 references
