* Proposes a radically new and thoroughly algorithmic approach to linear algebra * Each proof is an algorithm described in English that can be translated into the computer language the class is using and put to work solving problems and generating new examples