A rigorous verification of a numerically computed eigenvalue
From MaRDI portal
Publication:1972493
DOI10.1016/S0898-1221(99)00236-9zbMath0949.65081MaRDI QIDQ1972493
Publication date: 5 December 2000
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0898-1221(99)00236-9
34B24: Sturm-Liouville theory
65G20: Algorithms with automatic result verification
65L15: Numerical solution of eigenvalue problems involving ordinary differential equations
34L15: Eigenvalues, estimation of eigenvalues, upper and lower bounds of ordinary differential operators
Related Items
The index problem for eigenvalues for coupled boundary conditions and Fulton's conjecture, Transmutation Operators and Their Applications
Cites Work