The crisis in finite mathematics: Automated reasoning as cause and cure (Q5210758)
From MaRDI portal
scientific article; zbMATH DE number 7154534
Language | Label | Description | Also known as |
---|---|---|---|
English | The crisis in finite mathematics: Automated reasoning as cause and cure |
scientific article; zbMATH DE number 7154534 |
Statements
The crisis in finite mathematics: Automated reasoning as cause and cure (English)
0 references
21 January 2020
0 references
automated reasoning
0 references
automated theorem proving
0 references
quasigroups
0 references