Stav dette: The Lanczos and conjugate gradient algorithms: from theory to finite precision computations