The two fundamental datatypes of linear algebra
We will derive a formula for rotating points. This is a first taste of linear algebra.
A tool to help visualize what matrix multiplication means.
A tool for row-reducing matrices (so you don't have to!)