A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile (Q4458767)
From MaRDI portal
scientific article; zbMATH DE number 2057030
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile |
scientific article; zbMATH DE number 2057030 |
Statements
A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile (English)
0 references
15 March 2004
0 references
Orr-Sommerfeld equation
0 references
computer-assisted proof
0 references
interval arithmetic
0 references
complex eigenvalue
0 references
Blasius profile
0 references
instability
0 references
