Lecture 17
Section 2.8 of Leader. Gram-Schmidt orthogonalization and QR factorization.