Pages that link to "Item:Q4653136"
From MaRDI portal
The following pages link to Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation (Q4653136):
Displayed 32 items.
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions (Q285445) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs (Q710895) (← links)
- Periodic solutions and homoclinic solutions for a Swift-Hohenberg equation with dispersion (Q728074) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- An efficient estimate based on FFT in topological verification method (Q861877) (← links)
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
- Analytical and numerical results for the Swift-Hohenberg equation (Q961574) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Optimal variational asymptotic method for nonlinear fractional partial differential equations (Q1727813) (← links)
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation (Q1774292) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
- A Hermite spectral method for the computation of homoclinic orbits and associated functionals (Q2370704) (← links)
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam (Q2493092) (← links)
- Combinatorial-topological framework for the analysis of global dynamics (Q2944665) (← links)
- Multi-hump solutions with small oscillations at infinity for stationary Swift–Hohenberg equation (Q2965353) (← links)
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
- BIFURCATION ANALYSIS OF THE SWIFT–HOHENBERG EQUATION WITH QUINTIC NONLINEARITY (Q3401497) (← links)
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE (Q3498724) (← links)
- (Q3552448) (← links)
- Global smooth solution curves using rigorous branch following (Q3584839) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← links)
- Computing Linear Extensions for Polynomial Posets Subject to Algebraic Constraints (Q5001675) (← links)
- Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)