Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP (Q4904559)
From MaRDI portal
scientific article; zbMATH DE number 6132764
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP |
scientific article; zbMATH DE number 6132764 |
Statements
Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP (English)
0 references
30 January 2013
0 references
invariant manifolds
0 references
restricted three body problem
0 references
cone conditions
0 references
parameterization method
0 references
computer assisted proofs
0 references
