A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271)

From MaRDI portal
Revision as of 22:21, 28 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    0 references
    7 January 2009
    0 references
    infinite-dimensional fixed-point theorem
    0 references
    Newton operator
    0 references
    local uniqueness
    0 references

    Identifiers