{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:PNBADJCKOUMDZGB5ELTKTOWY3Y","short_pith_number":"pith:PNBADJCK","canonical_record":{"source":{"id":"1605.00453","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-05-02T12:14:08Z","cross_cats_sorted":[],"title_canon_sha256":"6e4550ad20d3e3f0475d86ce0e6f703655d9f8148970fbd6b199997f21e3e40e","abstract_canon_sha256":"520074ada5867ad11b090cdeaf73bb6de7221f73680c01d6ffe9030847eb0e2d"},"schema_version":"1.0"},"canonical_sha256":"7b4201a44a75183c983d22e6a9bad8de0f4cd4d2cf17422111a715fad4c8cda7","source":{"kind":"arxiv","id":"1605.00453","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.00453","created_at":"2026-05-18T01:15:55Z"},{"alias_kind":"arxiv_version","alias_value":"1605.00453v1","created_at":"2026-05-18T01:15:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.00453","created_at":"2026-05-18T01:15:55Z"},{"alias_kind":"pith_short_12","alias_value":"PNBADJCKOUMD","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PNBADJCKOUMDZGB5","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PNBADJCK","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:PNBADJCKOUMDZGB5ELTKTOWY3Y","target":"record","payload":{"canonical_record":{"source":{"id":"1605.00453","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-05-02T12:14:08Z","cross_cats_sorted":[],"title_canon_sha256":"6e4550ad20d3e3f0475d86ce0e6f703655d9f8148970fbd6b199997f21e3e40e","abstract_canon_sha256":"520074ada5867ad11b090cdeaf73bb6de7221f73680c01d6ffe9030847eb0e2d"},"schema_version":"1.0"},"canonical_sha256":"7b4201a44a75183c983d22e6a9bad8de0f4cd4d2cf17422111a715fad4c8cda7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:15:55.750848Z","signature_b64":"SKLbFRKdc4a5uILVVfjrw/dgp+MByUoOAeN273V9MUMva4R20CbJX/hO3aLcJlp3K79On1JIIW4Ep5t5NS2bAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b4201a44a75183c983d22e6a9bad8de0f4cd4d2cf17422111a715fad4c8cda7","last_reissued_at":"2026-05-18T01:15:55.749995Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:15:55.749995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.00453","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:15:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4tPk4g7jdIjJKZEMeIDQSFbwWGtIaj84XvsUI8OSCjvuNmd/x5s2ZpQAipvqWkyURo61ulkiV6nsRrA5CU34DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T02:09:08.656504Z"},"content_sha256":"66e05ef546bb886a18cf54b5346305162eca529f63249ddd5e468e2f2af9367b","schema_version":"1.0","event_id":"sha256:66e05ef546bb886a18cf54b5346305162eca529f63249ddd5e468e2f2af9367b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:PNBADJCKOUMDZGB5ELTKTOWY3Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Harald Hofstaetter, Othmar Koch, Winfried Auzinger","submitted_at":"2016-05-02T12:14:08Z","abstract_excerpt":"We describe a package realized in the Julia programming language which performs symbolic manipulations applied to nonlinear evolution equations, their flows, and commutators of such objects. This tool was employed to perform contrived computations arising in the analysis of the local error of operator splitting methods. It enabled the proof of the convergence of the basic method and of the asymptotical correctness of a defect-based error estimator. The performance of our package is illustrated on several examples."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.00453","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:15:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lifUM9MvPgAWz5W4kSlpI8EnqtMrHpZlBr08eEkG+DtVsaZHgzGtNEIFHVi96v2AwhxZgNw4zQOwLDj/mvrxCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T02:09:08.656853Z"},"content_sha256":"4711bfa71221885e3acd881576c4d8c09a4bdfccf8fa443669204abea56278a6","schema_version":"1.0","event_id":"sha256:4711bfa71221885e3acd881576c4d8c09a4bdfccf8fa443669204abea56278a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PNBADJCKOUMDZGB5ELTKTOWY3Y/bundle.json","state_url":"https://pith.science/pith/PNBADJCKOUMDZGB5ELTKTOWY3Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PNBADJCKOUMDZGB5ELTKTOWY3Y/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-22T02:09:08Z","links":{"resolver":"https://pith.science/pith/PNBADJCKOUMDZGB5ELTKTOWY3Y","bundle":"https://pith.science/pith/PNBADJCKOUMDZGB5ELTKTOWY3Y/bundle.json","state":"https://pith.science/pith/PNBADJCKOUMDZGB5ELTKTOWY3Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PNBADJCKOUMDZGB5ELTKTOWY3Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:PNBADJCKOUMDZGB5ELTKTOWY3Y","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":"520074ada5867ad11b090cdeaf73bb6de7221f73680c01d6ffe9030847eb0e2d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-05-02T12:14:08Z","title_canon_sha256":"6e4550ad20d3e3f0475d86ce0e6f703655d9f8148970fbd6b199997f21e3e40e"},"schema_version":"1.0","source":{"id":"1605.00453","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.00453","created_at":"2026-05-18T01:15:55Z"},{"alias_kind":"arxiv_version","alias_value":"1605.00453v1","created_at":"2026-05-18T01:15:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.00453","created_at":"2026-05-18T01:15:55Z"},{"alias_kind":"pith_short_12","alias_value":"PNBADJCKOUMD","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PNBADJCKOUMDZGB5","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PNBADJCK","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:4711bfa71221885e3acd881576c4d8c09a4bdfccf8fa443669204abea56278a6","target":"graph","created_at":"2026-05-18T01:15:55Z","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":"We describe a package realized in the Julia programming language which performs symbolic manipulations applied to nonlinear evolution equations, their flows, and commutators of such objects. This tool was employed to perform contrived computations arising in the analysis of the local error of operator splitting methods. It enabled the proof of the convergence of the basic method and of the asymptotical correctness of a defect-based error estimator. The performance of our package is illustrated on several examples.","authors_text":"Harald Hofstaetter, Othmar Koch, Winfried Auzinger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-05-02T12:14:08Z","title":"Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.00453","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:66e05ef546bb886a18cf54b5346305162eca529f63249ddd5e468e2f2af9367b","target":"record","created_at":"2026-05-18T01:15:55Z","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":"520074ada5867ad11b090cdeaf73bb6de7221f73680c01d6ffe9030847eb0e2d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2016-05-02T12:14:08Z","title_canon_sha256":"6e4550ad20d3e3f0475d86ce0e6f703655d9f8148970fbd6b199997f21e3e40e"},"schema_version":"1.0","source":{"id":"1605.00453","kind":"arxiv","version":1}},"canonical_sha256":"7b4201a44a75183c983d22e6a9bad8de0f4cd4d2cf17422111a715fad4c8cda7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b4201a44a75183c983d22e6a9bad8de0f4cd4d2cf17422111a715fad4c8cda7","first_computed_at":"2026-05-18T01:15:55.749995Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:15:55.749995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SKLbFRKdc4a5uILVVfjrw/dgp+MByUoOAeN273V9MUMva4R20CbJX/hO3aLcJlp3K79On1JIIW4Ep5t5NS2bAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:15:55.750848Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.00453","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66e05ef546bb886a18cf54b5346305162eca529f63249ddd5e468e2f2af9367b","sha256:4711bfa71221885e3acd881576c4d8c09a4bdfccf8fa443669204abea56278a6"],"state_sha256":"4b9500b79249378c466598d5d39c105b23b5354b0c29591fadf1a1008eb3f8ab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/po+eWnX7JCvIEdJoUkAEp15sNUUCKJQrflxisYBxsH2xXo3IOcuHUTTzFfDANLUiDbQ78IgmqvTNjwSJAoQCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T02:09:08.658811Z","bundle_sha256":"e0fc0ed679261797607530828e4cb3b7ecd60d16fd11b8fd0c4968511270dbf2"}}