Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
scientific article

    Statements

    Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (English)
    0 references
    0 references
    0 references
    0 references
    16 February 2022
    0 references
    Navier-Stokes equation
    0 references
    computer-assisted proof
    0 references
    finite element method
    0 references
    quantitative error estimation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references