Proving properties of matrices over \({\mathbb{Z}_{2}}\)
From MaRDI portal
Publication:453198
DOI10.1007/s00153-012-0280-0zbMath1273.03162OpenAlexW1982052585MaRDI QIDQ453198
Publication date: 18 September 2012
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-012-0280-0
Matrices over special rings (quaternions, finite fields, etc.) (15B33) Foundations of classical theories (including reverse mathematics) (03B30) Complexity of proofs (03F20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Weak theories of linear algebra
- The proof complexity of linear algebra
- On Powers of Matrices with Elements in the Field of Integers Modulo 2
- Matrices of zeros and ones
- Orthogonal Matrices Over Finite Fields
- Symmetric and Alternate Matrices in An Arbitrary Field, I
- Formal Theories for Linear Algebra
This page was built for publication: Proving properties of matrices over \({\mathbb{Z}_{2}}\)