Fault Tolerance through Invariant Checking for the Lanczos Eigensolver | IEEE Conference Publication | IEEE Xplore