Pages that link to "Item:Q5495219"
From MaRDI portal
The following pages link to Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces (Q5495219):
Displaying 16 items.
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← links)
- A functional analytic approach to validated numerics for eigenvalues of delay equations (Q2192455) (← links)
- Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems (Q2293603) (← links)
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem (Q2352149) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- (Q3140952) (← links)
- Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494) (← links)
- (Q4851641) (← links)
- Iterative Validation of Eigensolvers: A Scheme for Improving the Reliability of Hermitian Eigenvalue Solvers (Q5428409) (← links)
- Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems (Q6098955) (← links)
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
- A computer‐assisted method for the diblock copolymer model (Q6145896) (← links)
