@misc{indiciaee69ebc37a858,
  title = {An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations},
  author = {Takeo Hoshi and Takeshi Ogita and Katsuhisa Ozaki and Takeshi Terao},
  year = {2020},
  doi = {10.1016/j.cam.2020.112830},
  url = {https://arxiv.org/abs/1904.06461},
  note = {Source identifier: 1904.06461}
}