This paper is concerned with a computer-assisted proof of eigenvalues below
the essential spectrum of the Sturm-Liouville problem on the half-line. It
uses methods of functional analysis and interval analysis to derive algori
thms that may be used to prove the existence of such eigenvalues.