Formal Theories for Linear Algebra.

Stephen A. Cook, Lila Fontes

Browse the full CSL paper archive.