Pages that link to "Item:Q998643"
From MaRDI portal
The following pages link to A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems (Q998643):
Displaying 15 items.
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582) (← links)
- A route to chaos in Rayleigh-Bénard heat convection (Q831434) (← links)
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- Pattern formations in heat convection problems (Q1047076) (← links)
- A numerical verification of nontrivial solutions for the heat convection problem (Q1430499) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions (Q2028596) (← links)
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- Three-dimensional bifurcations of a two-phase Rayleigh-Bénard problem in a cylinder (Q5936139) (← links)
- A route to chaos in Rayleigh-Bénard heat convection (Q6614867) (← links)
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory (Q6671871) (← links)
