Formal Theories for Linear Algebra

DOI10.1007/978-3-642-15205-4_21zbMath1238.03019arXiv1101.1449OpenAlexW1876112628MaRDI QIDQ5901152

Lila Fontes, Stephen A. Cook

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1101.1449

zbMATH Keywords

determinantlinear algebraproof complexitycomplexity classesparitybounded reverse mathematics

Mathematics Subject Classification ID

Determinants, permanents, traces, other special matrix functions (15A15) Matrices over special rings (quaternions, finite fields, etc.) (15B33) Foundations of classical theories (including reverse mathematics) (03B30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

Related Items (1)

Proving properties of matrices over \({\mathbb{Z}_{2}}\)

This page was built for publication: Formal Theories for Linear Algebra