Computer assisted existence proofs for parameterized cycle-to-cycle connections
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 5983587 (Why is no real title available?)
- scientific article; zbMATH DE number 989768 (Why is no real title available?)
- scientific article; zbMATH DE number 440801 (Why is no real title available?)
- scientific article; zbMATH DE number 3565799 (Why is no real title available?)
- scientific article; zbMATH DE number 3585841 (Why is no real title available?)
- scientific article; zbMATH DE number 1245559 (Why is no real title available?)
- scientific article; zbMATH DE number 1304486 (Why is no real title available?)
- scientific article; zbMATH DE number 1552637 (Why is no real title available?)
- scientific article; zbMATH DE number 1759821 (Why is no real title available?)
- scientific article; zbMATH DE number 1569246 (Why is no real title available?)
- scientific article; zbMATH DE number 776267 (Why is no real title available?)
- scientific article; zbMATH DE number 903767 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 3220611 (Why is no real title available?)
- scientific article; zbMATH DE number 3259332 (Why is no real title available?)
- scientific article; zbMATH DE number 3265200 (Why is no real title available?)
- A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
- A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
- A complete proof of the Feigenbaum conjectures
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- A computer-assisted proof of the Feigenbaum conjectures
- A computer-assisted proof of universality for area-preserving maps
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- A homoclinic solution for excitation waves on a contractile substratum
- A rigorous ODE solver and Smale's 14th problem
- Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem
- Automatic differentiation for Fourier series and the radii polynomial approach
- CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (II) : CYCLE-TO-CYCLE CONNECTIONS
- Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values
- Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
- Chaos in the Lorenz equations: a computer-assisted proof
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Characterising blenders via covering relations and cone conditions
- Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications
- Computation of Periodic Solutions of Conservative Systems with Application to the 3-Body Problem
- Computation of limit cycles and their isochrons: fast algorithms and their convergence
- Computational methods for global analysis of homoclinic and heteroclinic orbits: A case study
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Computer assisted existence proofs of Lyapunov orbits at \(L_2\) and transversal intersections of invariant manifolds in the Jupiter--Sun PCR3BP
- Computer assisted proof of chaos in the Lorenz equations
- Computer assisted proof of drift orbits along normally hyperbolic manifolds
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Computer-assisted existence proofs for two-point boundary value problems
- Computer-assisted proofs in PDE: a survey
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Continuation of periodic orbits in conservative and Hamiltonian systems
- Deterministic Nonperiodic Flow
- Differentiable dynamical systems
- Dynamics around the Earth-Moon triangular points in the Hill restricted 4-body problem
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Fixed point index for iterations of maps, topological horseshoe and chaos
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Hill's approximation in a restricted four-body problem
- Homoclinic orbits in Hamiltonian systems
- Introduction to Hamiltonian dynamical systems and the \(N\)-body problem.
- Invariant manifolds and global bifurcations
- Knotted periodic orbits in dynamical system. II. Knot holders for fibered knots
- Knotted periodic orbits in dynamical systems. I: Lorenz's equations
- Morse theory indomitable
- NONORIENTABLE MANIFOLDS IN THREE-DIMENSIONAL VECTOR FIELDS
- Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
- Numerical approximation of homoclinic chaos
- Numerical computation of heteroclinic orbits
- Numerical computation of high-order expansions of invariant manifolds of high-dimensional tori
- Numerical verifications of solutions for elliptic equations with strong nonlinearity
- Numerical verifications of solutions for nonlinear elliptic equations
- On polynomial forms of nonlinear functional differential equations
- Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem
- Parameterization of invariant manifolds for periodic orbits. I: Efficient numerics via the Floquet normal form
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- Periodic orbits in the concentric circular restricted four-body problem and their invariant manifolds
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
- Rapid and accurate methods for computing whiskered tori and their manifolds in periodically perturbed planar circular restricted 3-body problems
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Rigorous Numerics in Dynamics
- Rigorous chaos verification in discrete dynamical systems
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Rigorous numerics in dynamics
- Stationary coexistence of hexagons and rolls via rigorous computations
- Structural stability of Lorenz attractors
- Successive continuation for locating connecting orbits
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- Symmetric homoclinic solutions to the periodic orbits in the Michelson system
- The Lean 4 theorem prover and programming language
- The Lorenz attractor exists
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- The Numerical Computation of Homoclinic Orbits for Maps
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- The parameterization method for invariant manifolds II: regularity with respect to parameters
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- The parameterization method for invariant manifolds. III: Overview and applications
- Torus knot choreographies in the \(n\)-body problem
- Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Validated numerics. A short introduction to rigorous computations.
This page was built for publication: Computer assisted existence proofs for parameterized cycle-to-cycle connections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6924074)
