Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems |
scientific article |
Statements
Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (English)
0 references
16 January 2011
0 references
Navier-Stokes equation
0 references
nonlinear heat convection
0 references
bifurcation point
0 references
computer assisted proof
0 references
