Short Proofs for the Determinant Identities (Q5252690)
From MaRDI portal
scientific article; zbMATH DE number 6442174
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Short Proofs for the Determinant Identities |
scientific article; zbMATH DE number 6442174 |
Statements
Short Proofs for the Determinant Identities (English)
0 references
2 June 2015
0 references
proof complexity
0 references
arithmetic circuits
0 references
determinant
0 references
frege proofs
0 references
feasible mathematics
0 references
