A framework of verified eigenvalue bounds for self-adjoint differential operators

Xuefeng Liu. A framework of verified eigenvalue bounds for self-adjoint differential operators. Applied Mathematics and Computation, 267:341-355, 2015. [doi]

Abstract

Abstract is missing.