Pages that link to "Item:Q3097498"

The following pages link to Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation (Q3097498):

Displaying 49 items.

• Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions (Q285445) (← links)
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
• A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
• Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation (Q321574) (← links)
• A computable criterion for the existence of connecting orbits in autonomous dynamics (Q330541) (← links)
• Beyond the Melnikov method: A computer assisted approach (Q338453) (← links)
• Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations (Q361909) (← links)
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
• Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series (Q495099) (← links)
• Computational fixed-point theory for differential delay equations with multiple time lags (Q665977) (← links)
• Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← 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)
• Beyond the Melnikov method. II: Multidimensional setting (Q1671213) (← 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)
• Efficient representation of invariant manifolds of periodic orbits in the CRTBP (Q1755928) (← links)
• Numerical computation of connecting orbits on a manifold (Q1762496) (← links)
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
• Rigorous numerics for NLS: bound states, spectra, and controllability (Q1999948) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications (Q2007467) (← links)
• Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← links)
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
• Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877) (← links)
• The parameterization method for center manifolds (Q2180547) (← links)
• Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation (Q2204503) (← links)
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804) (← links)
• Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
• Rigorous validation of stochastic transition paths (Q2334873) (← links)
• Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
• Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← 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)
• Parameterization Method for Unstable Manifolds of Standing Waves on the Line (Q4964242) (← links)
• Complexity in a Hybrid van der Pol System (Q5158804) (← links)
• Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem (Q5250034) (← links)
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
• Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model (Q5349315) (← links)
• Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
• Rigorous numerics for fast-slow systems (Q6117937) (← links)
• Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods (Q6598405) (← links)
• Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence (Q6635959) (← links)