The Lanczos and conjugate gradient algorithms : from theory to finite precision computations - Meurant, Gerard A. (Software, environments, tools, 2006)