{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:OKSV7P253OWC4FAE3Y3TNAZ7NS","short_pith_number":"pith:OKSV7P25","canonical_record":{"source":{"id":"1607.02016","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-05-27T12:52:49Z","cross_cats_sorted":[],"title_canon_sha256":"36780efc850e52d05dace708fcf89ac157cf4e8fa3b57e07dbf0d7ec52968696","abstract_canon_sha256":"37b3771de4e0c3848339bf135079fa0cb3206b32f4c7f0e22a174834a2c40114"},"schema_version":"1.0"},"canonical_sha256":"72a55fbf5ddbac2e1404de3736833f6ca39a863949f53f63a1b3414314c01816","source":{"kind":"arxiv","id":"1607.02016","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02016","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02016v1","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02016","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"pith_short_12","alias_value":"OKSV7P253OWC","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OKSV7P253OWC4FAE","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OKSV7P25","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:OKSV7P253OWC4FAE3Y3TNAZ7NS","target":"record","payload":{"canonical_record":{"source":{"id":"1607.02016","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-05-27T12:52:49Z","cross_cats_sorted":[],"title_canon_sha256":"36780efc850e52d05dace708fcf89ac157cf4e8fa3b57e07dbf0d7ec52968696","abstract_canon_sha256":"37b3771de4e0c3848339bf135079fa0cb3206b32f4c7f0e22a174834a2c40114"},"schema_version":"1.0"},"canonical_sha256":"72a55fbf5ddbac2e1404de3736833f6ca39a863949f53f63a1b3414314c01816","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:22.791580Z","signature_b64":"tr9xWaNv1TkgqjWbbEPYhl4XQmmuLiFVl6+8CQU4JGdACpNmGn+lykvNgD1knqxdFX2MFbyIxWhWSu7DssRdDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72a55fbf5ddbac2e1404de3736833f6ca39a863949f53f63a1b3414314c01816","last_reissued_at":"2026-05-18T01:11:22.790807Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:22.790807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.02016","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-18T01:11:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eVl79Nhv6Gl7+n6iRtqnVl+1KMXavIqyha+Tfl/OHUBLx7ZxTSrfWHHF+E9TcBj+PFPt+LwshpdF7TM9blv+Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:58:45.175081Z"},"content_sha256":"267012674f1b9c5b9d32f696f8267990065233796716df5dbced07aad78a1f95","schema_version":"1.0","event_id":"sha256:267012674f1b9c5b9d32f696f8267990065233796716df5dbced07aad78a1f95"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:OKSV7P253OWC4FAE3Y3TNAZ7NS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Ivan I. Shevchenko","submitted_at":"2016-05-27T12:52:49Z","abstract_excerpt":"Algorithms of numeric (in exact arithmetic) deduction of analytical expressions, proposed and described by Shevchenko and Vasiliev (1993), are developed and implemented in a computer algebra code. This code is built as a superstructure for the computer algebra package by Shevchenko and Sokolsky (1993a) for normalization of Hamiltonian systems of ordinary differential equations, in order that high complexity problems of normalization could be solved. As an example, a resonant normal form of a Hamiltonian describing the hyperboloidal precession of a dynamically symmetric satellite is derived by "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02016","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-18T01:11:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W0F57KnAvWffJhGJ0VfgyRt5aRwkXsWLV119rE4U2qJl++aXXVfRWNScE5Zdti6XEAFybiz6YP0dZ0A6pCycCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:58:45.175461Z"},"content_sha256":"c64963a5ef6755b4a5b7ac81dcf9da18e9f080fa610561d1479a938d3c50a29d","schema_version":"1.0","event_id":"sha256:c64963a5ef6755b4a5b7ac81dcf9da18e9f080fa610561d1479a938d3c50a29d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OKSV7P253OWC4FAE3Y3TNAZ7NS/bundle.json","state_url":"https://pith.science/pith/OKSV7P253OWC4FAE3Y3TNAZ7NS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OKSV7P253OWC4FAE3Y3TNAZ7NS/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-03T17:58:45Z","links":{"resolver":"https://pith.science/pith/OKSV7P253OWC4FAE3Y3TNAZ7NS","bundle":"https://pith.science/pith/OKSV7P253OWC4FAE3Y3TNAZ7NS/bundle.json","state":"https://pith.science/pith/OKSV7P253OWC4FAE3Y3TNAZ7NS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OKSV7P253OWC4FAE3Y3TNAZ7NS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:OKSV7P253OWC4FAE3Y3TNAZ7NS","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":"37b3771de4e0c3848339bf135079fa0cb3206b32f4c7f0e22a174834a2c40114","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-05-27T12:52:49Z","title_canon_sha256":"36780efc850e52d05dace708fcf89ac157cf4e8fa3b57e07dbf0d7ec52968696"},"schema_version":"1.0","source":{"id":"1607.02016","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02016","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02016v1","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02016","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"pith_short_12","alias_value":"OKSV7P253OWC","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OKSV7P253OWC4FAE","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OKSV7P25","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:c64963a5ef6755b4a5b7ac81dcf9da18e9f080fa610561d1479a938d3c50a29d","target":"graph","created_at":"2026-05-18T01:11:22Z","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":"Algorithms of numeric (in exact arithmetic) deduction of analytical expressions, proposed and described by Shevchenko and Vasiliev (1993), are developed and implemented in a computer algebra code. This code is built as a superstructure for the computer algebra package by Shevchenko and Sokolsky (1993a) for normalization of Hamiltonian systems of ordinary differential equations, in order that high complexity problems of normalization could be solved. As an example, a resonant normal form of a Hamiltonian describing the hyperboloidal precession of a dynamically symmetric satellite is derived by ","authors_text":"Ivan I. Shevchenko","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-05-27T12:52:49Z","title":"Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02016","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:267012674f1b9c5b9d32f696f8267990065233796716df5dbced07aad78a1f95","target":"record","created_at":"2026-05-18T01:11:22Z","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":"37b3771de4e0c3848339bf135079fa0cb3206b32f4c7f0e22a174834a2c40114","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-05-27T12:52:49Z","title_canon_sha256":"36780efc850e52d05dace708fcf89ac157cf4e8fa3b57e07dbf0d7ec52968696"},"schema_version":"1.0","source":{"id":"1607.02016","kind":"arxiv","version":1}},"canonical_sha256":"72a55fbf5ddbac2e1404de3736833f6ca39a863949f53f63a1b3414314c01816","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72a55fbf5ddbac2e1404de3736833f6ca39a863949f53f63a1b3414314c01816","first_computed_at":"2026-05-18T01:11:22.790807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:22.790807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tr9xWaNv1TkgqjWbbEPYhl4XQmmuLiFVl6+8CQU4JGdACpNmGn+lykvNgD1knqxdFX2MFbyIxWhWSu7DssRdDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:22.791580Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.02016","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:267012674f1b9c5b9d32f696f8267990065233796716df5dbced07aad78a1f95","sha256:c64963a5ef6755b4a5b7ac81dcf9da18e9f080fa610561d1479a938d3c50a29d"],"state_sha256":"c234bea8dd59d3fc0c5eabfff74085258b8db1970aea656ab2e1b041e1301e35"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cYWIyRwjcvjNnCP0l/433KNluoFZf/bWYqMhgZZvdO6xNNop9wI1gXxnBdmxER8zZ4S4VjY9caEBfVbT40twDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T17:58:45.177397Z","bundle_sha256":"633caa598f80b8d4f6f70c99145143fa1647903696470a7b3b922149ee83439c"}}