The grade 12 linear algebra class studied the linear dependence and independence of vectors. They generalized the definition to Nth dimensional space and attempted to use their new knowledge in geometric proofs using vectors. For their assignment, they submitted a problem set of 30+ formal vector proofs.
