A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid |
scientific article |
Statements
A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (English)
0 references
7 January 2009
0 references
infinite-dimensional fixed-point theorem
0 references
Newton operator
0 references
local uniqueness
0 references
0 references
0 references
0 references
0 references
0 references
