{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:W55FKPNYJXJ5WLSNTI7H32VXGO","short_pith_number":"pith:W55FKPNY","canonical_record":{"source":{"id":"1312.7102","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.EP","submitted_at":"2013-12-26T13:02:23Z","cross_cats_sorted":[],"title_canon_sha256":"154823a8fac706321723679756677ebfb95151f2f0b0544eb11a65cbf1fd2b5b","abstract_canon_sha256":"904f87944181fe44d98c54700f4b74936a51bf7e35a672abedb3ab549126fdbb"},"schema_version":"1.0"},"canonical_sha256":"b77a553db84dd3db2e4d9a3e7deab733ad38f1dcb752e143fa7d60d5efa70a83","source":{"kind":"arxiv","id":"1312.7102","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.7102","created_at":"2026-05-18T03:03:45Z"},{"alias_kind":"arxiv_version","alias_value":"1312.7102v1","created_at":"2026-05-18T03:03:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.7102","created_at":"2026-05-18T03:03:45Z"},{"alias_kind":"pith_short_12","alias_value":"W55FKPNYJXJ5","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"W55FKPNYJXJ5WLSN","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"W55FKPNY","created_at":"2026-05-18T12:28:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:W55FKPNYJXJ5WLSNTI7H32VXGO","target":"record","payload":{"canonical_record":{"source":{"id":"1312.7102","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.EP","submitted_at":"2013-12-26T13:02:23Z","cross_cats_sorted":[],"title_canon_sha256":"154823a8fac706321723679756677ebfb95151f2f0b0544eb11a65cbf1fd2b5b","abstract_canon_sha256":"904f87944181fe44d98c54700f4b74936a51bf7e35a672abedb3ab549126fdbb"},"schema_version":"1.0"},"canonical_sha256":"b77a553db84dd3db2e4d9a3e7deab733ad38f1dcb752e143fa7d60d5efa70a83","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:03:45.882157Z","signature_b64":"PYXCeZcgboo6o6ZCAuLOWJB5EOLwGiHOFg4rTnO/NJs8WTMDRSvFAX1nduaHVApa0WEcsLLo0G79TWmzQ1kUCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b77a553db84dd3db2e4d9a3e7deab733ad38f1dcb752e143fa7d60d5efa70a83","last_reissued_at":"2026-05-18T03:03:45.881579Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:03:45.881579Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.7102","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:03:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qLARdWfwHIlisATnOTQIXE1akRWmy0/zb7Db6WFZLKgPgnfxAV2vxjlY4rY6jfftSyyUXzdGfQ4JPsJUrUtlCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T15:17:39.919079Z"},"content_sha256":"27872393a4f4eb85dcdfbb582c98c95b542c628a992400da08fd56106e77e4c0","schema_version":"1.0","event_id":"sha256:27872393a4f4eb85dcdfbb582c98c95b542c628a992400da08fd56106e77e4c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:W55FKPNYJXJ5WLSNTI7H32VXGO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic computation of the Birkhoff normal form in the problem of stability of the triangular libration points","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"astro-ph.EP","authors_text":"I. I. Shevchenko","submitted_at":"2013-12-26T13:02:23Z","abstract_excerpt":"The problem of stability of the triangular libration points in the planar circular restricted three-body problem is considered. A software package, intended for normalization of autonomous Hamiltonian systems by means of computer algebra, is designed so that normalization problems of high analytical complexity could be solved. It is used to obtain the Birkhoff normal form of the Hamiltonian in the given problem. The normalization is carried out up to the 6th order of expansion of the Hamiltonian in the coordinates and momenta. Analytical expressions for the coefficients of the normal form of t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.7102","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:03:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BaEhGOuH6apcJTYa4Np4vHGr1/f/cB/CkOVx4B1e+E5Z0y28oAhUW5846EJsNp8yf0EOGqsVZLHikrG2EQ7UBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T15:17:39.919448Z"},"content_sha256":"7f7a3f7e78685ae4ac18124ccb1ccc915e35d503807f9f6488e449640cc16cfa","schema_version":"1.0","event_id":"sha256:7f7a3f7e78685ae4ac18124ccb1ccc915e35d503807f9f6488e449640cc16cfa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W55FKPNYJXJ5WLSNTI7H32VXGO/bundle.json","state_url":"https://pith.science/pith/W55FKPNYJXJ5WLSNTI7H32VXGO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W55FKPNYJXJ5WLSNTI7H32VXGO/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-26T15:17:39Z","links":{"resolver":"https://pith.science/pith/W55FKPNYJXJ5WLSNTI7H32VXGO","bundle":"https://pith.science/pith/W55FKPNYJXJ5WLSNTI7H32VXGO/bundle.json","state":"https://pith.science/pith/W55FKPNYJXJ5WLSNTI7H32VXGO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W55FKPNYJXJ5WLSNTI7H32VXGO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:W55FKPNYJXJ5WLSNTI7H32VXGO","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"904f87944181fe44d98c54700f4b74936a51bf7e35a672abedb3ab549126fdbb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.EP","submitted_at":"2013-12-26T13:02:23Z","title_canon_sha256":"154823a8fac706321723679756677ebfb95151f2f0b0544eb11a65cbf1fd2b5b"},"schema_version":"1.0","source":{"id":"1312.7102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.7102","created_at":"2026-05-18T03:03:45Z"},{"alias_kind":"arxiv_version","alias_value":"1312.7102v1","created_at":"2026-05-18T03:03:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.7102","created_at":"2026-05-18T03:03:45Z"},{"alias_kind":"pith_short_12","alias_value":"W55FKPNYJXJ5","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"W55FKPNYJXJ5WLSN","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"W55FKPNY","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:7f7a3f7e78685ae4ac18124ccb1ccc915e35d503807f9f6488e449640cc16cfa","target":"graph","created_at":"2026-05-18T03:03:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The problem of stability of the triangular libration points in the planar circular restricted three-body problem is considered. A software package, intended for normalization of autonomous Hamiltonian systems by means of computer algebra, is designed so that normalization problems of high analytical complexity could be solved. It is used to obtain the Birkhoff normal form of the Hamiltonian in the given problem. The normalization is carried out up to the 6th order of expansion of the Hamiltonian in the coordinates and momenta. Analytical expressions for the coefficients of the normal form of t","authors_text":"I. I. Shevchenko","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.EP","submitted_at":"2013-12-26T13:02:23Z","title":"Symbolic computation of the Birkhoff normal form in the problem of stability of the triangular libration points"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.7102","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:27872393a4f4eb85dcdfbb582c98c95b542c628a992400da08fd56106e77e4c0","target":"record","created_at":"2026-05-18T03:03:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"904f87944181fe44d98c54700f4b74936a51bf7e35a672abedb3ab549126fdbb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"astro-ph.EP","submitted_at":"2013-12-26T13:02:23Z","title_canon_sha256":"154823a8fac706321723679756677ebfb95151f2f0b0544eb11a65cbf1fd2b5b"},"schema_version":"1.0","source":{"id":"1312.7102","kind":"arxiv","version":1}},"canonical_sha256":"b77a553db84dd3db2e4d9a3e7deab733ad38f1dcb752e143fa7d60d5efa70a83","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b77a553db84dd3db2e4d9a3e7deab733ad38f1dcb752e143fa7d60d5efa70a83","first_computed_at":"2026-05-18T03:03:45.881579Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:03:45.881579Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PYXCeZcgboo6o6ZCAuLOWJB5EOLwGiHOFg4rTnO/NJs8WTMDRSvFAX1nduaHVApa0WEcsLLo0G79TWmzQ1kUCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:03:45.882157Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.7102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27872393a4f4eb85dcdfbb582c98c95b542c628a992400da08fd56106e77e4c0","sha256:7f7a3f7e78685ae4ac18124ccb1ccc915e35d503807f9f6488e449640cc16cfa"],"state_sha256":"50ebd41f54f64de1e527c98120c60d61b8e97031b4645c50aee72f701f59fbf4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nZr29gFK7Uu8etxtHXgOCXbsUug8Ex/EVlqmmi4XhCU2rL62A1akU3I4SaQ467+cbxtTUGol8Lic3DRC6dRPBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T15:17:39.921399Z","bundle_sha256":"72dd2fd58b2972c23acdd8643c32bfd06665a3ed83b6d55d0f3a53eeadc45f89"}}