Rigorous and fully computable a posteriori error bounds for eigenfunctions - Xuefeng Liu; Tomáš Vejchodský (2019)