Pages that link to "Item:Q3605039"
From MaRDI portal
The following pages link to A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow (Q3605039):
Displaying 21 items.
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- A computer assisted study of uniqueness of ground state solutions (Q413726) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116) (← links)
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- Numerical verification method for infinite dimensional eigenvalue problems (Q849194) (← links)
- On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection (Q964975) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid (Q1877193) (← 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)
- Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile (Q4458767) (← links)
- Finite element solution of the Orr–Sommerfeld equation using high precision Hermite elements: plane Poiseuille flow (Q4462997) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points (Q6645959) (← links)
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory (Q6671871) (← links)
