Pages that link to "Item:Q849194"
From MaRDI portal
The following pages link to Numerical verification method for infinite dimensional eigenvalue problems (Q849194):
Displaying 9 items.
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators (Q1860405) (← links)
- Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space (Q2318498) (← links)
- Some considerations of the invertibility verifications for linear elliptic operators (Q2352136) (← links)
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem (Q2352149) (← links)
- Verfahren zur verifizierten Behandlung von Differenzengleichungseigenwertproblemen und verwandten Fragestellungen. (Method for the verified treatment of eigenvalue problems of difference equations and related questions) (Q3995380) (← links)
- A Numerical Verification Method for a System of FitzHugh-Nagumo Type (Q4899071) (← links)
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
