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!)