scientific article; zbMATH DE number 834497
From MaRDI portal
Publication:4860607
Recommendations
- Bifurcation problems for equations of fluid dynamics and computer assisted proof
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- A Hopf bifurcation in the planar Navier-Stokes equations
- Hopf bifurcation in viscous incompressible flow down an inclined plane: a numerical approach
Cited in
(14)- Hopf bifurcation in viscous incompressible flow down an inclined plane: a numerical approach
- Bifurcation sets in a problem on motion of a rigid body in fluid and in the generalization of this problem
- Bifurcation problems for equations of fluid dynamics and computer assisted proof
- Bifurcation sets in an integrable problem on motion of a rigid body in fluid.
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives
- Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration
- Codimension-\(m\) bifurcation theorems applicable to the numerical verification methods
- Remarks on a bifurcation problem in fluid dynamics
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- scientific article; zbMATH DE number 67112 (Why is no real title available?)
- scientific article; zbMATH DE number 124873 (Why is no real title available?)
- Numerical Bifurcation Methods and their Application to Fluid Dynamics: Analysis beyond Simulation
- Quantifier elimination supported proofs in the numerical treatment of fluid flows
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4860607)
