Pages that link to "Item:Q5278036"

The following pages link to A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036):

Displaying 22 items.

• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
• Parameterization method for unstable manifolds of delay differential equations (Q1654463) (← links)
• Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
• An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations (Q1710407) (← links)
• Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
• Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families (Q2004777) (← links)
• A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
• Constructive error estimates for full discrete approximation of periodic solution for heat equation (Q2291992) (← links)
• Rigorous numerical computations for 1D advection equations with variable coefficients (Q2318496) (← links)
• Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
• Persistence and smooth dependence on parameters of periodic orbits in functional differential equations close to an ODE or an evolutionary PDE (Q2676529) (← links)
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
• Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos (Q4961112) (← links)
• Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
• Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation (Q5266353) (← links)
• A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE (Q5739157) (← links)
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
• Smooth self-similar imploding profiles to 3D compressible Euler (Q6155889) (← links)
• Highest cusped waves for the fractional KdV equations (Q6584917) (← links)