Thick-Restart Lanczos Method for Large Symmetric Eigenvalue Problems | Synapse