Reduced Row Echelon Form
Algorithm for solving A x = b
Algorithm for computing proj_W b
Non-uniqueness for ODE's