scientific article
From MaRDI portal
Publication:3813145
zbMath0663.65034MaRDI QIDQ3813145
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Interval and finite arithmetic (65G30) Inequalities involving eigenvalues and eigenvectors (15A42)
Related Items
Fast enclosure for all eigenvalues in generalized eigenvalue problems ⋮ On regular and singular interval systems ⋮ A numerically rigorous proof of curve veering in an eigenvalue problem for differential equations ⋮ Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems ⋮ Unnamed Item ⋮ Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method ⋮ The calculation of guaranteed bounds for eigenvalues using complementary variational principles ⋮ Bounds for eigenvalues of parameter-dependent matrices ⋮ A simple method for error bounds of eigenvalues of symmetric matrices ⋮ A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam ⋮ Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems ⋮ Numerical enclosure for each eigenvalue in generalized eigenvalue problem ⋮ A uniqueness result for a semilinear elliptic problem: a computer-assisted proof