Pages that link to "Item:Q2378271"
From MaRDI portal
The following pages link to A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271):
Displaying 16 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity (Q421136) (← 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)
- 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 of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- Qualitative analysis of dynamics in Kolmogorov's problem on a flow of a viscous incompressible fluid (Q905853) (← links)
- Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis (Q1736471) (← links)
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid (Q1877193) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← 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)
- 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)
