Weak theories of linear algebra
From MaRDI portal
Publication:1766923
DOI10.1007/s00153-004-0249-8zbMath1064.03037OpenAlexW1987241097MaRDI QIDQ1766923
Publication date: 2 March 2005
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-004-0249-8
bounded arithmeticlinear algebracomplexity of proofsGaussian elimination algorithmcommutativity of matrix inverseFrege propositional proof systempolynomial time reasoningpolysize Frege proof
Matrix equations and identities (15A24) Commutativity of matrices (15A27) First-order arithmetic and fragments (03F30) Complexity of proofs (03F20)
Related Items
Cites Work