Pages that link to "Item:Q778220"

The following pages link to A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220):

Displaying 21 items.

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
• A Hopf bifurcation in the planar Navier-Stokes equations (Q2050575) (← links)
• Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE (Q2076212) (← links)
• Deep learning of conjugate mappings (Q2077602) (← links)
• A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
• Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
• Rigorous numerics for nonlinear heat equations in the complex plane of time (Q2149062) (← links)
• Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
• Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
• Chaos of the 2D linear hyperbolic equation with general van der Pol type boundary condition (Q5884573) (← links)
• Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem (Q6065756) (← links)
• Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)
• Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system (Q6174359) (← links)
• Chaos of multi-dimensional weakly hyperbolic equations with general nonlinear boundary conditions (Q6536758) (← links)
• Validated integration of semilinear parabolic PDEs (Q6586798) (← links)
• The Lorenz system as a gradient-like system (Q6586970) (← links)
• High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays (Q6592119) (← links)
• Dynamical behaviors and invariant recurrent patterns of Kuramoto-Sivashinsky equation with time-periodic forces (Q6592637) (← links)
• Computer-assisted validation of the existence of periodic orbit in the Brusselator system (Q6593389) (← links)
• Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods (Q6598405) (← links)
• A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory (Q6671871) (← links)