Văn bản này: Guaranteed Computational Methods for Self-Adjoint Differential Eigenvalue Problems