Title: Guaranteed Computational Methods for Self-Adjoint Differential Eigenvalue Problems