Friedrich Goerisch, Zhiqing He. The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I. In Christian Ullrich, editor, Computer Arithmetic and Self-Validating Numerical Methods. Volume 7 of Notes and reports in mathematics in science and engineering, pages 137-153, Academic Press, 1990. [doi]
Abstract is missing.