Proving properties of matrices over \({\mathbb{Z}_{2}}\)
From MaRDI portal
Publication:453198
DOI10.1007/s00153-012-0280-0zbMath1273.03162MaRDI 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
15B33: Matrices over special rings (quaternions, finite fields, etc.)
03B30: Foundations of classical theories (including reverse mathematics)
03F20: Complexity of proofs
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