Sun–Jupiter–Saturn System May Exist: A Verified Computation of Quasiperiodic Solutions for the Planar Three-Body Problem
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Sun–Jupiter–Saturn System May Exist: A Verified Computation of Quasiperiodic Solutions for the Planar Three-Body Problem ; volume:35 ; number:1 ; day:16 ; month:11 ; year:2024 ; pages:1-20 ; date:2.2025
Journal of nonlinear science ; 35, Heft 1 (16.11.2024), 1-20, 2.2025
- Creator
-
Figueras, Jordi-Lluís
Haro, Alex
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00332-024-10109-4
- URN
-
urn:nbn:de:101:1-2502040908064.084990760651
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:31 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Figueras, Jordi-Lluís
- Haro, Alex
- SpringerLink (Online service)
Other Objects (12)
Quasi-periodic solutions of the spatial lunar three-body problem
Quasi-periodic almost-collision orbits in the spatial three-body problem
verifiedSCION: Verified Secure Routing
Gale-Shapley Verified
15 Jahre EXIST : EXIST-Tagungsband 2014
Quasiperiodic circuit quantum electrodynamics
Exist-news, Sonderausg.. Erfahrungen von Exist-Gründungen
ModelPlex: verified runtime validation of verified cyber-physical system models
i exist
FM8501 : a verified microprocessor
Verified Boot auf ARM
Verified Java bytecode verification
Quasi-periodic solutions of the spatial lunar three-body problem
Quasi-periodic almost-collision orbits in the spatial three-body problem
verifiedSCION: Verified Secure Routing
Gale-Shapley Verified
15 Jahre EXIST : EXIST-Tagungsband 2014
Quasiperiodic circuit quantum electrodynamics
Exist-news, Sonderausg.. Erfahrungen von Exist-Gründungen
ModelPlex: verified runtime validation of verified cyber-physical system models
i exist
FM8501 : a verified microprocessor
Verified Boot auf ARM
Verified Java bytecode verification
Quasi-periodic solutions of the spatial lunar three-body problem
Quasi-periodic almost-collision orbits in the spatial three-body problem
verifiedSCION: Verified Secure Routing
Gale-Shapley Verified
15 Jahre EXIST : EXIST-Tagungsband 2014
Quasiperiodic circuit quantum electrodynamics
Exist-news, Sonderausg.. Erfahrungen von Exist-Gründungen
ModelPlex: verified runtime validation of verified cyber-physical system models
i exist
FM8501 : a verified microprocessor
Verified Boot auf ARM