@misc{indiciae401de218122c,
  title = {Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems},
  author = {Akira Imakura and Keiichi Morikuni and Akitoshi Takayasu},
  year = {2019},
  doi = {10.1016/j.cam.2019.112543},
  url = {https://arxiv.org/abs/1904.06277},
  note = {Source identifier: 1904.06277}
}