Pages that link to "Item:Q717163"
From MaRDI portal
The following pages link to Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation (Q717163):
Displayed 25 items.
- Rigorous verification of saddle-node bifurcations in ODEs (Q307743) (← links)
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
- Optimization of the forcing term for the solution of two-point boundary value problems (Q355817) (← links)
- A computer assisted study of uniqueness of ground state solutions (Q413726) (← links)
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation (Q478282) (← links)
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof (Q494285) (← links)
- A new branch of mountain pass solutions for the choreographical 3-body problem (Q996030) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Rigorous continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← links)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← 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)
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (Q2826307) (← links)
- Families of Periodic Solutions for Some Hamiltonian PDEs (Q2960071) (← links)
- Validated Computation of Heteroclinic Sets (Q2967809) (← links)
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← links)
- Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494) (← links)
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof (Q4594528) (← links)
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem (Q5250034) (← links)
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation (Q5266353) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem (Q5346534) (← links)
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE (Q5739157) (← links)