scientific article; zbMATH DE number 67117
algorithmscelestial mechanicsconvergenceinterval arithmeticK.A.M. theoryKolmogorov-Arnol'd-Moser theoryperturbation methodsquasi-periodic solutionsstability bounds
Periodic and quasi-periodic flows and diffeomorphisms (37C55) Stability theory for smooth dynamical systems (37C75) Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol'd diffusion (37J40) Interval and finite arithmetic (65G30) Numerical solutions to equations with nonlinear operators (65J15) Celestial mechanics (70F15) Bifurcations and instability for nonlinear problems in mechanics (70K50)
- Improving and estimating the accuracy of Strassen's algorithm
- Efficient and accurate computation of upper bounds of approximation errors
- Lower bounds of success probabilities for high-fidelity approach in KLM scheme
- On high relative accuracy of the Kogbetliantz method
- A strengthened acceptance criterion for approximate projections in Karmarkar's algorithm
- scientific article; zbMATH DE number 4123535
- NUMERICAL IMPLEMENTATION OF A K.A.M. ALGORITHM
- Robust bounds for Krylov methods
- The Optimal Accuracy of Difference Schemes
- Precise Fixpoint Computation Through Strategy Iteration
- Construction of invariant tori for the spin-orbit problem in the Mercury-Sun system
- A rigorous partial justification of Greene's criterion
- Invariant curves for area-preserving twist maps far from integrable
- Towards a proof of the Kuzmak-Kogelman-Keller algorithm
- Rigorous computer-assisted application of KAM theory: a modern approach
- Numerical computation of normal forms around some periodic orbits of the restricted three-body problem
- Automatic differentiation for Fourier series and the radii polynomial approach
- KAM quasi-periodic solutions for the dissipative standard map
- On the sharpness of the Rüssmann estimates
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Efficient and reliable algorithms for the computation of non-twist invariant circles
- Lower bounds of success probabilities for high-fidelity approach in KLM scheme
- Accurate strategies for small divisor problems
- Effective bounds for the measure of rotations
- Domains of analyticity and Lindstedt expansions of KAM tori in some dissipative perturbations of Hamiltonian systems
- Accurate computations up to breakdown of quasi-periodic attractors in the dissipative spin-orbit problem
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Weighted Birkhoff averages and the parameterization method
- Return maps, dynamical consequences and applications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4011809)
