203
click to vote
LICS
2002
IEEE
16 years 16 days ago
2002
IEEE
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...