TY - RPRT TI - Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh$\unicode{x2013}$Ritz procedure for generalized Hermitian eigenvalue problems AU - Akira Imakura AU - Keiichi Morikuni AU - Akitoshi Takayasu PY - 2022 DO - 10.1016/j.cam.2022.114994 UR - https://arxiv.org/abs/2110.01822 ID - 2110.01822 ER -