Pages that link to "Item:Q1683736"

The following pages link to Rigorous computer-assisted application of KAM theory: a modern approach (Q1683736):

Displaying 34 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)
• Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\) (Q6183807) (← links)
• Attracting invariant tori and analytic conjugacies (Q6540472) (← links)