TY - RPRT TI - An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations AU - Takeo Hoshi AU - Takeshi Ogita AU - Katsuhisa Ozaki AU - Takeshi Terao PY - 2020 DO - 10.1016/j.cam.2020.112830 UR - https://arxiv.org/abs/1904.06461 ID - 1904.06461 ER -