Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits (Q5119931)
From MaRDI portal
scientific article; zbMATH DE number 7245221
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits |
scientific article; zbMATH DE number 7245221 |
Statements
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits (English)
0 references
9 September 2020
0 references
characteristic polynomial
0 references
cloud computing
0 references
delegated computation
0 references
determinant
0 references
Macaulay matrix
0 references
matrix rank
0 references
multivariate resultant
0 references
polynomial system consistency
0 references
proofs for muggles
0 references
