A Lanczos Algorithm for Computing Singular Values and Vectors of Large Matrices | Synapse