Pages that link to "Item:Q1818413"
From MaRDI portal
The following pages link to A numerical method to verify the elliptic eigenvalue problems including a uniqueness property (Q1818413):
Displayed 8 items.
- Numerical verification method for infinite dimensional eigenvalue problems (Q849194) (← links)
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid (Q1877193) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS (Q4787845) (← links)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data (Q5944173) (← links)
- A computer‐assisted method for the diblock copolymer model (Q6145896) (← links)