Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186): Difference between revisions

@@ Property / cites work @@
+A Homoclinic Solution for Excitation Waves on a Contractile Substratum
+Normal rank
@@ Property / cites work @@
+A new branch of mountain pass solutions for the choreographical 3-body problem
+Normal rank
@@ Property / cites work @@
+Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
+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 @@
+A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds. III: Overview and applications
+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 @@
+Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
+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 @@
+Traveling waves in a nonlinearly suspended beam: Theoretical results and numerical observations
+Normal rank
@@ Property / cites work @@
+Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
+Normal rank
@@ Property / cites work @@
+Validated Continuation for Equilibria of PDEs
@@ Property / cites work: Validated Continuation for Equilibria of PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of universality for area-preserving maps
+Normal rank
@@ Property / cites work @@
+Reliable Computation of Robust Response Tori on the Verge of Breakdown
+Normal rank
@@ Property / cites work @@
+Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
+Normal rank
@@ Property / cites work @@
+Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
+Normal rank
@@ Property / cites work @@
+HIGH-ORDER BISECTION METHOD FOR COMPUTING INVARIANT MANIFOLDS OF TWO-DIMENSIONAL MAPS
+Normal rank
@@ Property / cites work @@
+A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds. From rigorous results to effective computations
+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 @@
+Computation of Limit Cycles and Their Isochrons: Fast Algorithms and Their Convergence
+Normal rank
@@ Property / cites work @@
+Computation of whiskered invariant tori and their associated manifolds: new fast algorithms
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
+Normal rank
@@ Property / cites work @@
+A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
+Normal rank
@@ Property / cites work @@
+Computational fixed-point theory for differential delay equations with multiple time lags
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+Two-dimensional global manifolds of vector fields
@@ Property / cites work: Two-dimensional global manifolds of vector fields / rank @@
+Normal rank
@@ Property / cites work @@
+A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+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 @@
+Introduction to Hamiltonian dynamical systems and the \(N\)-body problem.
+Normal rank
@@ Property / cites work @@
+Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
+Normal rank
@@ Property / cites work @@
+Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
+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 @@
+Rigorous chaos verification in discrete dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4524904
@@ Property / cites work: Q4524904 / rank @@
+Normal rank
@@ Property / cites work @@
+NONORIENTABLE MANIFOLDS IN THREE-DIMENSIONAL VECTOR FIELDS
+Normal rank
@@ Property / cites work @@
+A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof
+Normal rank
@@ Property / cites work @@
+Q5198996
@@ Property / cites work: Q5198996 / rank @@
+Normal rank
@@ Property / cites work @@
+Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
+Normal rank
@@ Property / cites work @@
+Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
+Normal rank
@@ Property / cites work @@
+Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
+Normal rank
@@ Property / cites work @@
+Symmetric homoclinic solutions to the periodic orbits in the Michelson system
+Normal rank
@@ Property / cites work @@
+The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
+Normal rank
@@ Property / cites work @@
+Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Period doubling in the Rössler system -- a computer assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous and accurate enclosure of invariant manifolds on surfaces
+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 Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank