Pages that link to "Item:Q1683736"
From MaRDI portal
The following pages link to Rigorous computer-assisted application of KAM theory: a modern approach (Q1683736):
Displayed 32 items.
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
- A-posteriori KAM theory with optimal estimates for partially integrable systems (Q1627719) (← links)
- Non-radial solutions for some semilinear elliptic equations on the disk (Q1633693) (← links)
- Computation of quasi-periodic normally hyperbolic invariant tori: algorithms, numerical explorations and mechanisms of breakdown (Q1685142) (← links)
- Computation of quasiperiodic normally hyperbolic invariant tori: rigorous results (Q1685143) (← links)
- Finding the complement of the invariant manifolds transverse to a given foliation for a 3D flow (Q1739564) (← links)
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
- Efficient representation of invariant manifolds of periodic orbits in the CRTBP (Q1755928) (← links)
- A new method to compute periodic orbits in general symplectic maps (Q2025577) (← links)
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
- Flow map parameterization methods for invariant tori in Hamiltonian systems (Q2038123) (← links)
- KAM quasi-periodic tori for the dissipative spin-orbit problem (Q2060668) (← links)
- KAM quasi-periodic solutions for the dissipative standard map (Q2060675) (← links)
- Hamiltonian control of magnetic field lines: computer assisted results proving the existence of KAM barriers (Q2093487) (← links)
- Birkhoff averages and rotational invariant circles for area-preserving maps (Q2127376) (← links)
- Regions without invariant tori of given class for the planar circular restricted three-body problem (Q2140091) (← links)
- Escape times across the golden cantorus of the standard map (Q2152441) (← links)
- Computer-assisted estimates for Birkhoff normal forms (Q2194431) (← links)
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation (Q2204503) (← links)
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs (Q2211119) (← links)
- Elliptic tori in FPU non-linear chains with a small number of nodes (Q2656830) (← links)
- Efficient and reliable algorithms for the computation of non-twist invariant circles (Q2671297) (← links)
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
- Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori (Q4588273) (← links)
- A Parameterization Method for Lagrangian Tori of Exact Symplectic Maps of $R^2r$ (Q4686627) (← links)
- Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation (Q5004084) (← links)
- Torus knot choreographies in the n-body problem (Q5147943) (← links)
- Effective bounds for the measure of rotations (Q5207515) (← links)
- Some questions looking for answers in dynamical systems (Q6105875) (← links)
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
- Existence proof of librational invariant tori in an averaged model of HD60532 planetary system (Q6155760) (← links)