Pages that link to "Item:Q618582"
From MaRDI portal
The following pages link to Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582):
Displaying 12 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems (Q998643) (← links)
- Some computer assisted proofs for solutions of the heat convection problems (Q1406006) (← links)
- A numerical verification of nontrivial solutions for the heat convection problem (Q1430499) (← links)
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
- A Hopf bifurcation in the planar Navier-Stokes equations (Q2050575) (← links)
- Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs (Q2060646) (← links)
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← links)
- Verification of bifurcation diagrams for polynomial-like equations (Q2468126) (← links)
- Families of Periodic Solutions for Some Hamiltonian PDEs (Q2960071) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
