Sun–Jupiter–Saturn System May Exist: A Verified Computation of Quasiperiodic Solutions for the Planar Three-Body Problem
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Figueras, Jordi-Lluís
Haro, Alex
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00332-024-10109-4
- URN
-
urn:nbn:de:101:1-2502040908064.084990760651
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:31 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Figueras, Jordi-Lluís
- Haro, Alex
- SpringerLink (Online service)
Ähnliche Objekte (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
Quasiperiodic circuit quantum electrodynamics
15 Jahre EXIST : EXIST-Tagungsband 2014
ModelPlex: verified runtime validation of verified cyber-physical system models
Exist-news, Sonderausg.. Erfahrungen von Exist-Gründungen
FM8501 : a verified microprocessor
Verified Boot auf ARM
Verified Java bytecode verification
Verified proof carrying code
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
Quasiperiodic circuit quantum electrodynamics
15 Jahre EXIST : EXIST-Tagungsband 2014
ModelPlex: verified runtime validation of verified cyber-physical system models
Exist-news, Sonderausg.. Erfahrungen von Exist-Gründungen
FM8501 : a verified microprocessor
Verified Boot auf ARM
Verified Java bytecode verification
Verified proof carrying code
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
Quasiperiodic circuit quantum electrodynamics
15 Jahre EXIST : EXIST-Tagungsband 2014
ModelPlex: verified runtime validation of verified cyber-physical system models
Exist-news, Sonderausg.. Erfahrungen von Exist-Gründungen
FM8501 : a verified microprocessor
Verified Boot auf ARM
Verified Java bytecode verification