Matrix identities and the pigeonhole principle
From MaRDI portal
Publication:701728
DOI10.1007/s00153-003-0205-zzbMath1057.03049OpenAlexW1977405062MaRDI QIDQ701728
Michael Soltys, Alasdair Urquhart
Publication date: 16 December 2004
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-003-0205-z
Related Items (4)
The proof complexity of linear algebra ⋮ Short Proofs for the Determinant Identities ⋮ LA, permutations, and the Hajós calculus ⋮ A Logical Autobiography
This page was built for publication: Matrix identities and the pigeonhole principle
