On a computer assisted proof of the existence of eigenvalues below the essential spectrum of the Sturm-Liouville problem

From MaRDI portal
Publication:1841970