Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7474629
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains |
scientific article; zbMATH DE number 7474629 |
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
0.8343933820724487
0 references
0.8064908385276794
0 references
0.7969313263893127
0 references
0.7815119028091431
0 references
