Automated theorem provers: a practical tool for the working mathematician? (Q657585)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated theorem provers: a practical tool for the working mathematician? |
scientific article; zbMATH DE number 5996003
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automated theorem provers: a practical tool for the working mathematician? |
scientific article; zbMATH DE number 5996003 |
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
0.7843999862670898
0 references
0.7770878672599792
0 references
0.7728314995765686
0 references
