Linear algebra

Linear algebra.
Last modified May 30, 2023: update Gaussian processes (ff6a6c2)