Pages that link to "Item:Q5278036"
From MaRDI portal
The following pages link to A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036):
Displayed 21 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)