Cullum, J. & Willoughby, R. (2002), Lanczos algorithms for large symmetric eigenvalue computations: Theory , Society for Industrial Mathematics .