TY - RPRT TI - Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems AU - Akira Imakura AU - Keiichi Morikuni AU - Akitoshi Takayasu PY - 2019 DO - 10.1016/j.cam.2019.112543 UR - https://arxiv.org/abs/1904.06277 ID - 1904.06277 ER -