Pages that link to "Item:Q5258573"
From MaRDI portal
The following pages link to Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573):
Displaying 37 items.
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series (Q495099) (← links)
- Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← links)
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
- Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families (Q2004777) (← links)
- Rigorous numerics for nonlinear heat equations in the complex plane of time (Q2149062) (← links)
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation (Q2204503) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations (Q2659598) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
- Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification (Q2958642) (← links)
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
- Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications (Q3132923) (← links)
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← 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)
- Parameterization Method for Unstable Manifolds of Standing Waves on the Line (Q4964242) (← links)
- Bifurcation Analysis and Pattern Selection of Solutions for the Modified Swift–Hohenberg Equation (Q4971028) (← links)
- Hexagon Invasion Fronts Outside the Homoclinic Snaking Region in the Planar Swift--Hohenberg Equation (Q5004087) (← links)
- Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
- Validated Spectral Stability via Conjugate Points (Q5037772) (← links)
- Stability of hexagonal pattern in Rayleigh–Bénard convection for thermodependent shear-thinning fluids (Q5134423) (← links)
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem (Q5250034) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem (Q6065756) (← links)
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
