{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:UAN4ROTRJYSVNW5WBYZSDDFMPQ","short_pith_number":"pith:UAN4ROTR","canonical_record":{"source":{"id":"1007.4443","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-07-26T12:54:16Z","cross_cats_sorted":["math.MP"],"title_canon_sha256":"517ad51d95aec80087688b90954d6cea8577c5cd38b32bc4a9437cbf305a7cc1","abstract_canon_sha256":"82320a572c28b642a537e08fe023458400dd0b39803283eb88254f3110d33d14"},"schema_version":"1.0"},"canonical_sha256":"a01bc8ba714e2556dbb60e33218cac7c31912adb67ba1596da950147da4778b1","source":{"kind":"arxiv","id":"1007.4443","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1007.4443","created_at":"2026-05-17T23:52:08Z"},{"alias_kind":"arxiv_version","alias_value":"1007.4443v1","created_at":"2026-05-17T23:52:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1007.4443","created_at":"2026-05-17T23:52:08Z"},{"alias_kind":"pith_short_12","alias_value":"UAN4ROTRJYSV","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"UAN4ROTRJYSVNW5W","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"UAN4ROTR","created_at":"2026-05-18T12:26:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:UAN4ROTRJYSVNW5WBYZSDDFMPQ","target":"record","payload":{"canonical_record":{"source":{"id":"1007.4443","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-07-26T12:54:16Z","cross_cats_sorted":["math.MP"],"title_canon_sha256":"517ad51d95aec80087688b90954d6cea8577c5cd38b32bc4a9437cbf305a7cc1","abstract_canon_sha256":"82320a572c28b642a537e08fe023458400dd0b39803283eb88254f3110d33d14"},"schema_version":"1.0"},"canonical_sha256":"a01bc8ba714e2556dbb60e33218cac7c31912adb67ba1596da950147da4778b1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:08.861713Z","signature_b64":"fVGJzvZWE5uaAKlbXzqP8BEoTAtPpjmV2KzrlIW5nu+J5XiOiiuPh+lGGZVM8PeCPf+wuM6Ydpe/k0vNIDgTDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a01bc8ba714e2556dbb60e33218cac7c31912adb67ba1596da950147da4778b1","last_reissued_at":"2026-05-17T23:52:08.861235Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:08.861235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1007.4443","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-17T23:52:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pF5/Dh+XTURdvl0ivgfidNQOFI0HSrbG4tOA5SDlAWA5Xhq4NQMeVHIO6rG0tRjrhfE3Kbmuhfg23iC2jfNIBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T15:38:49.117334Z"},"content_sha256":"c99535275105a191a403ce5e344cf09b7870b5ebd71b93a03fc9e51378257fe6","schema_version":"1.0","event_id":"sha256:c99535275105a191a403ce5e344cf09b7870b5ebd71b93a03fc9e51378257fe6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:UAN4ROTRJYSVNW5WBYZSDDFMPQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.MP"],"primary_cat":"math-ph","authors_text":"Bernd Martin, Viktor Levandovskyy","submitted_at":"2010-07-26T12:54:16Z","abstract_excerpt":"In this paper we discuss three symbolic approaches for the generation of a finite difference scheme of a partial differential equation (PDE). We prove, that for a linear PDE with constant coefficients these three approaches are equivalent and discuss the applicability of them to nonlinear PDE's as well as to the case of variable coefficients. Moreover, we systematically use another symbolic technique, namely the cylindrical algebraic decomposition, in order to derive the conditions on the von Neumann stability of a difference s cheme for a linear PDE with constant coefficients. For stable sche"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1007.4443","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-17T23:52:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S96aklEXiNbsaId/ptgYcbzScDm46Sv6oOw64f+vU3fys+tXr/B3WzduG7E3ZPCduzv64kRYE0xj0btB2WA0Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T15:38:49.118049Z"},"content_sha256":"be70486c24aa48954d2ed28ec9de9226ab87be90ea427fd66b386a903b8642f1","schema_version":"1.0","event_id":"sha256:be70486c24aa48954d2ed28ec9de9226ab87be90ea427fd66b386a903b8642f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UAN4ROTRJYSVNW5WBYZSDDFMPQ/bundle.json","state_url":"https://pith.science/pith/UAN4ROTRJYSVNW5WBYZSDDFMPQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UAN4ROTRJYSVNW5WBYZSDDFMPQ/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-08T15:38:49Z","links":{"resolver":"https://pith.science/pith/UAN4ROTRJYSVNW5WBYZSDDFMPQ","bundle":"https://pith.science/pith/UAN4ROTRJYSVNW5WBYZSDDFMPQ/bundle.json","state":"https://pith.science/pith/UAN4ROTRJYSVNW5WBYZSDDFMPQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UAN4ROTRJYSVNW5WBYZSDDFMPQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:UAN4ROTRJYSVNW5WBYZSDDFMPQ","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":"82320a572c28b642a537e08fe023458400dd0b39803283eb88254f3110d33d14","cross_cats_sorted":["math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-07-26T12:54:16Z","title_canon_sha256":"517ad51d95aec80087688b90954d6cea8577c5cd38b32bc4a9437cbf305a7cc1"},"schema_version":"1.0","source":{"id":"1007.4443","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1007.4443","created_at":"2026-05-17T23:52:08Z"},{"alias_kind":"arxiv_version","alias_value":"1007.4443v1","created_at":"2026-05-17T23:52:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1007.4443","created_at":"2026-05-17T23:52:08Z"},{"alias_kind":"pith_short_12","alias_value":"UAN4ROTRJYSV","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"UAN4ROTRJYSVNW5W","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"UAN4ROTR","created_at":"2026-05-18T12:26:15Z"}],"graph_snapshots":[{"event_id":"sha256:be70486c24aa48954d2ed28ec9de9226ab87be90ea427fd66b386a903b8642f1","target":"graph","created_at":"2026-05-17T23:52:08Z","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":"In this paper we discuss three symbolic approaches for the generation of a finite difference scheme of a partial differential equation (PDE). We prove, that for a linear PDE with constant coefficients these three approaches are equivalent and discuss the applicability of them to nonlinear PDE's as well as to the case of variable coefficients. Moreover, we systematically use another symbolic technique, namely the cylindrical algebraic decomposition, in order to derive the conditions on the von Neumann stability of a difference s cheme for a linear PDE with constant coefficients. For stable sche","authors_text":"Bernd Martin, Viktor Levandovskyy","cross_cats":["math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-07-26T12:54:16Z","title":"A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1007.4443","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:c99535275105a191a403ce5e344cf09b7870b5ebd71b93a03fc9e51378257fe6","target":"record","created_at":"2026-05-17T23:52:08Z","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":"82320a572c28b642a537e08fe023458400dd0b39803283eb88254f3110d33d14","cross_cats_sorted":["math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-07-26T12:54:16Z","title_canon_sha256":"517ad51d95aec80087688b90954d6cea8577c5cd38b32bc4a9437cbf305a7cc1"},"schema_version":"1.0","source":{"id":"1007.4443","kind":"arxiv","version":1}},"canonical_sha256":"a01bc8ba714e2556dbb60e33218cac7c31912adb67ba1596da950147da4778b1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a01bc8ba714e2556dbb60e33218cac7c31912adb67ba1596da950147da4778b1","first_computed_at":"2026-05-17T23:52:08.861235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:08.861235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fVGJzvZWE5uaAKlbXzqP8BEoTAtPpjmV2KzrlIW5nu+J5XiOiiuPh+lGGZVM8PeCPf+wuM6Ydpe/k0vNIDgTDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:08.861713Z","signed_message":"canonical_sha256_bytes"},"source_id":"1007.4443","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c99535275105a191a403ce5e344cf09b7870b5ebd71b93a03fc9e51378257fe6","sha256:be70486c24aa48954d2ed28ec9de9226ab87be90ea427fd66b386a903b8642f1"],"state_sha256":"8b5c54e856e1b7387840a52cec5e0ff04c867b27c19cd48036742c8791c124ec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JfGYX6QbySDvL3WuDpL/Q1hNWoFQO5jD2lhq2SEDpP0cfGGkt5DVFg+oWDAZdvCA8cJ/v53sQpcQ5IVR+iVCBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T15:38:49.121961Z","bundle_sha256":"96cf7c0b8a9c4777677bbd8cae77d806a5d4240283855aee428fbb8e9e524837"}}