Pages that link to "Item:Q4785604"

The following pages link to Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof (Q4785604):

Displaying 15 items.

• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
• Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof (Q494285) (← links)
• Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
• A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
• Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof (Q1885383) (← links)
• Fredholm transform and local rapid stabilization for a Kuramoto-Sivashinsky equation (Q2355410) (← links)
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
• Continuation of solutions and studying delay differential equations via rigorous numerics (Q4557493) (← links)
• Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← links)
• Nonlinear two-point boundary value problems: applications to a cholera epidemic model (Q5114250) (← links)
• Analysis and computations of a non-local thin-film model for two-fluid shear driven flows (Q5160788) (← links)
• Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof (Q5249807) (← links)
• Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation (Q5266353) (← links)
• Validated integration of semilinear parabolic PDEs (Q6586798) (← links)