Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\) (Q6183807)
From MaRDI portal
scientific article; zbMATH DE number 7793534
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\) |
scientific article; zbMATH DE number 7793534 |
Statements
Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\) (English)
0 references
23 January 2024
0 references
normal form
0 references
Hamiltonian perturbation theory
0 references
exoplanet
0 references
secular quasi-periodic restricted Hamiltonian model
0 references
Fourier decomposition
0 references
0 references
0 references
0 references
0 references
