Pages that link to "Item:Q1007257"

The following pages link to Covering relations, cone conditions and the stable manifold theorem (Q1007257):

Displaying 31 items.

• Topological conjugacy for Lipschitz perturbations of non-autonomous systems (Q321613) (← links)
• Numerical validation of blow-up solutions of ordinary differential equations (Q345956) (← links)
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
• Geometric proof for normally hyperbolic invariant manifolds (Q496743) (← links)
• On the construction of Lyapunov functions with computer assistance (Q515790) (← links)
• Topological dynamics for multidimensional perturbations of maps with covering relations and Liapunov condition (Q619869) (← links)
• Hyperbolic dynamics in graph-directed IFS (Q641009) (← links)
• Hyperbolicity and averaging for the Srzednicki-Wójcik equation (Q729932) (← 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)
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
• Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
• Computer assisted proof of drift orbits along normally hyperbolic manifolds (Q2060658) (← links)
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
• Rigorous numerics for nonlinear heat equations in the complex plane of time (Q2149062) (← links)
• Computer assisted proofs of two-dimensional attracting invariant tori for ODEs (Q2211119) (← 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)
• A note on the convergence of parametrised non-resonant invariant manifolds (Q2431079) (← links)
• A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map (Q2656034) (← links)
• Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof (Q2790863) (← links)
• Connecting Orbits for a Singular Nonautonomous Real Ginzburg--Landau Type Equation (Q2797744) (← links)
• Persistence of normally hyperbolic invariant manifolds in the absence of rate conditions (Q5130948) (← links)
• Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
• Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem (Q6049736) (← links)
• Rigorous numerics for fast-slow systems (Q6117937) (← links)
• Arnold Diffusion in a Model of Dissipative System (Q6132789) (← links)
• Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)