Pages that link to "Item:Q1877193"
From MaRDI portal
The following pages link to A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid (Q1877193):
Displaying 11 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← links)
- Numerical verification method for infinite dimensional eigenvalue problems (Q849194) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations (Q3114589) (← links)
- Unimodal patterns appearing in the Kolmogorov flows at large Reynolds numbers (Q3196558) (← links)
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow (Q3605039) (← links)
- A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile (Q4458767) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem (Q5047142) (← links)
- Kolmogorov flow: Linear stability and energy transfers in a minimal low-dimensional model (Q5129815) (← links)
