TY  - RPRT
TI  - Formal Theories for Linear Algebra
AU  - Stephen A Cook
AU  - Lila A Fontes
PY  - 2012
DO  - 10.2168/lmcs-8(1:25)2012
UR  - https://arxiv.org/abs/1101.1449
ID  - 1101.1449
ER  -