Pages that link to "Item:Q1414013"

The following pages link to Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. (Q1414013):

Displaying 23 items.

• Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof (Q494285) (← links)
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
• Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II (Q818594) (← links)
• A computer proof that the Lorenz equations have ``chaotic'' solutions (Q1324453) (← links)
• Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof (Q1371168) (← links)
• Computer assisted proof of chaotic dynamics in the Rössler map (Q1599794) (← links)
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
• Rigorous numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky equation (Q1809078) (← links)
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
• Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE (Q2076212) (← links)
• Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems (Q2207440) (← links)
• Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption (Q2297163) (← links)
• On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
• Automatized Search for Complex Symbolic Dynamics with Applications in the Analysis of a Simple Memristor Circuit (Q2930508) (← links)
• Chaos in the Lorenz equations: a computer-assisted proof (Q4320743) (← links)
• (Q4536844) (← links)
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
• Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori (Q4588273) (← links)
• Complexity in a Hybrid van der Pol System (Q5158804) (← links)
• Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation (Q5266353) (← links)
• Computer‐assisted analysis of chaos in a three‐species food chain model (Q6091789) (← links)
• Efficient and validated numerical evaluation of abelian integrals (Q6604153) (← links)