Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594): Difference between revisions

@@ Property / cites work @@
+A Homoclinic Solution for Excitation Waves on a Contractile Substratum
+Normal rank
@@ Property / cites work @@
+Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
+Normal rank
@@ Property / cites work @@
+The H non–Heiles Hamiltonian near the critical energy level—some rigorous results
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+The Numerical Computation of Connecting Orbits in Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Numerical Taylor expansions of invariant manifolds in large dynamical systems
+Normal rank
@@ Property / cites work @@
+Numerical approximation of homoclinic chaos
@@ Property / cites work: Numerical approximation of homoclinic chaos / rank @@
+Normal rank
@@ Property / cites work @@
+The Numerical Computation of Homoclinic Orbits for Maps
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds II: regularity with respect to parameters
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds. III: Overview and applications
+Normal rank
@@ Property / cites work @@
+Fast numerical computation of quasi-periodic equilibrium states in 1D statistical mechanics, including twist maps
+Normal rank
@@ Property / cites work @@
+A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification
+Normal rank
@@ Property / cites work @@
+Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori
+Normal rank
@@ Property / cites work @@
+Covering relations and the existence of topologically normally hyperbolic invariant sets
+Normal rank
@@ Property / cites work @@
+Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
+Normal rank
@@ Property / cites work @@
+Computer assisted proof for normally hyperbolic invariant manifolds
+Normal rank
@@ Property / cites work @@
+Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
+Normal rank
@@ Property / cites work @@
+Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
+Normal rank
@@ Property / cites work @@
+Iterated maps on the interval as dynamical systems
+Normal rank
@@ Property / cites work @@
+Universal properties of maps on an interval
@@ Property / cites work: Universal properties of maps on an interval / rank @@
+Normal rank
@@ Property / cites work @@
+KAM theory without action-angle variables
@@ Property / cites work: KAM theory without action-angle variables / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps
+Normal rank
@@ Property / cites work @@
+Numerical computation of heteroclinic orbits
@@ Property / cites work: Numerical computation of heteroclinic orbits / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of universality for area-preserving maps
+Normal rank
@@ Property / cites work @@
+A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems
+Normal rank
@@ Property / cites work @@
+Existence of generic homoclinic tangencies for Hénon mappings
+Normal rank
@@ Property / cites work @@
+Stable and unstable manifolds of the Henon mapping
+Normal rank
@@ Property / cites work @@
+Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
+Normal rank
@@ Property / cites work @@
+Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
+Normal rank
@@ Property / cites work @@
+Covering relations for multidimensional dynamical systems. II
+Normal rank
@@ Property / cites work @@
+HIGH-ORDER BISECTION METHOD FOR COMPUTING INVARIANT MANIFOLDS OF TWO-DIMENSIONAL MAPS
+Normal rank
@@ Property / cites work @@
+High-order adaptive method for computing two-dimensional invariant manifolds of three-dimensional maps
+Normal rank
@@ Property / cites work @@
+A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
+Normal rank
@@ Property / cites work @@
+A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
+Normal rank
@@ Property / cites work @@
+A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
+Normal rank
@@ Property / cites work @@
+Controlling the wrapping effect in the solution of ODEs for asteroids
+Normal rank
@@ Property / cites work @@
+Computation of whiskered invariant tori and their associated manifolds: new fast algorithms
+Normal rank
@@ Property / cites work @@
+A note on the convergence of parametrised non-resonant invariant manifolds
+Normal rank
@@ Property / cites work @@
+Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
+Normal rank
@@ Property / cites work @@
+Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
+Normal rank
@@ Property / cites work @@
+A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
+Normal rank
@@ Property / cites work @@
+Q3679952
@@ Property / cites work: Q3679952 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-assisted proofs in analysis
@@ Property / cites work: Computer-assisted proofs in analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
+Normal rank
@@ Property / cites work @@
+Q3125536
@@ Property / cites work: Q3125536 / rank @@
+Normal rank
@@ Property / cites work @@
+Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
+Normal rank
@@ Property / cites work @@
+Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family
+Normal rank
@@ Property / cites work @@
+Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
+Normal rank
@@ Property / cites work @@
+Introduction to Automatic Differentiation and MATLAB Object-Oriented Programming
+Normal rank
@@ Property / cites work @@
+Rigorous chaos verification in discrete dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Global smooth solution curves using rigorous branch following
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
+Normal rank
@@ Property / cites work @@
+Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
+Normal rank
@@ Property / cites work @@
+Uniformly Hyperbolic Attractor of the Smale–Williams Type for a Poincaré Map in the Kuznetsov System
+Normal rank
@@ Property / cites work @@
+Rigorous and accurate enclosure of invariant manifolds on surfaces
+Normal rank
@@ Property / cites work @@
+Covering relations, cone conditions and the stable manifold theorem
+Normal rank