Pages that link to "Item:Q2060646"
From MaRDI portal
The following pages link to Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs (Q2060646):
Displaying 8 items.
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation (Q717163) (← links)
- Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
- Computation, continuation, and bifurcation of torus solutions for dissipative maps and ordinary differential equations (Q1821933) (← links)
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← links)
- Estimation of the boundary of the limit cycle of Brusselator oscillators by the renormalization group method (Q6113184) (← links)
- A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system (Q6593389) (← links)
