@misc{indiciae9acde7d41b33,
  title = {Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh\$\textbackslash{}unicode\{x2013\}\$Ritz procedure for generalized Hermitian eigenvalue problems},
  author = {Akira Imakura and Keiichi Morikuni and Akitoshi Takayasu},
  year = {2022},
  doi = {10.1016/j.cam.2022.114994},
  url = {https://arxiv.org/abs/2110.01822},
  note = {Source identifier: 2110.01822}
}