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
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
0 references
0 references
0 references
0 references
