{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:J5M45WHZM6R3C5LJTB6FPYM367","short_pith_number":"pith:J5M45WHZ","canonical_record":{"source":{"id":"1210.2950","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-10-10T15:11:49Z","cross_cats_sorted":["cs.MS","math.CA"],"title_canon_sha256":"28972ae872692703569bde8f2fc789730fc28fe7aec0278f0fb1693227d32c42","abstract_canon_sha256":"44a91501ca65fe5a5d49450760812d572cf2cb13fa094997204f4f27eb334e61"},"schema_version":"1.0"},"canonical_sha256":"4f59ced8f967a3b17569987c57e19bf7ef4c55cf3475d853fb3d2f8cdcbbcd7d","source":{"kind":"arxiv","id":"1210.2950","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2950","created_at":"2026-05-18T03:43:31Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2950v1","created_at":"2026-05-18T03:43:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2950","created_at":"2026-05-18T03:43:31Z"},{"alias_kind":"pith_short_12","alias_value":"J5M45WHZM6R3","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"J5M45WHZM6R3C5LJ","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"J5M45WHZ","created_at":"2026-05-18T12:27:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:J5M45WHZM6R3C5LJTB6FPYM367","target":"record","payload":{"canonical_record":{"source":{"id":"1210.2950","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-10-10T15:11:49Z","cross_cats_sorted":["cs.MS","math.CA"],"title_canon_sha256":"28972ae872692703569bde8f2fc789730fc28fe7aec0278f0fb1693227d32c42","abstract_canon_sha256":"44a91501ca65fe5a5d49450760812d572cf2cb13fa094997204f4f27eb334e61"},"schema_version":"1.0"},"canonical_sha256":"4f59ced8f967a3b17569987c57e19bf7ef4c55cf3475d853fb3d2f8cdcbbcd7d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:31.041935Z","signature_b64":"Y7J4z4WjpJ/4sWfyw1ZYU+/xs1sXCKHkzgpOeh4e5/1Il14iARSkhTe5CUO/PZFxOnEAM++f0Leqg0DiBwm1Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4f59ced8f967a3b17569987c57e19bf7ef4c55cf3475d853fb3d2f8cdcbbcd7d","last_reissued_at":"2026-05-18T03:43:31.041255Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:31.041255Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.2950","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:43:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WO5yvC3QcFkU+Pry02Xm8U+qCseILKUhYpdVG3wOE5C1aeZbyAobIwWPKmgdL3fPIpHJfEiELtILPoVZJ7T7CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T12:25:36.417712Z"},"content_sha256":"aa9312cae4b95ccc9c2666110a3335f5d4da42b31e150df37b288bcfd1e4dd85","schema_version":"1.0","event_id":"sha256:aa9312cae4b95ccc9c2666110a3335f5d4da42b31e150df37b288bcfd1e4dd85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:J5M45WHZM6R3C5LJTB6FPYM367","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gr\\\"obner Bases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS","math.CA"],"primary_cat":"cs.SC","authors_text":"Bruno Buchberger, Georg Regensburger, Loredana Tec, Markus Rosenkranz","submitted_at":"2012-10-10T15:11:49Z","abstract_excerpt":"We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras. The algebraic treatment of boundary problems brings up two new algebraic structures whose symbolic representation and computational realization is based on canonical forms in certain commutative and noncommutative polynomial domains. The first of these, the ring of integro-differential operators, is used for both stating and solving linear boundary pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2950","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:43:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NLgN7JIlTxi13coQN2DnpGNURl4+XH33HBHnHBJb55b47re81Gaujm3wJgSCSRQ4BVyDVEAoq5o60e0lYzVjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T12:25:36.418289Z"},"content_sha256":"733f65c0af7fc4366c9b1b673e39f2eb676c92f9486819786fdd1ad0dd046997","schema_version":"1.0","event_id":"sha256:733f65c0af7fc4366c9b1b673e39f2eb676c92f9486819786fdd1ad0dd046997"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J5M45WHZM6R3C5LJTB6FPYM367/bundle.json","state_url":"https://pith.science/pith/J5M45WHZM6R3C5LJTB6FPYM367/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J5M45WHZM6R3C5LJTB6FPYM367/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-05-23T12:25:36Z","links":{"resolver":"https://pith.science/pith/J5M45WHZM6R3C5LJTB6FPYM367","bundle":"https://pith.science/pith/J5M45WHZM6R3C5LJTB6FPYM367/bundle.json","state":"https://pith.science/pith/J5M45WHZM6R3C5LJTB6FPYM367/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J5M45WHZM6R3C5LJTB6FPYM367/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:J5M45WHZM6R3C5LJTB6FPYM367","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":"44a91501ca65fe5a5d49450760812d572cf2cb13fa094997204f4f27eb334e61","cross_cats_sorted":["cs.MS","math.CA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-10-10T15:11:49Z","title_canon_sha256":"28972ae872692703569bde8f2fc789730fc28fe7aec0278f0fb1693227d32c42"},"schema_version":"1.0","source":{"id":"1210.2950","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2950","created_at":"2026-05-18T03:43:31Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2950v1","created_at":"2026-05-18T03:43:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2950","created_at":"2026-05-18T03:43:31Z"},{"alias_kind":"pith_short_12","alias_value":"J5M45WHZM6R3","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"J5M45WHZM6R3C5LJ","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"J5M45WHZ","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:733f65c0af7fc4366c9b1b673e39f2eb676c92f9486819786fdd1ad0dd046997","target":"graph","created_at":"2026-05-18T03:43:31Z","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 review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras. The algebraic treatment of boundary problems brings up two new algebraic structures whose symbolic representation and computational realization is based on canonical forms in certain commutative and noncommutative polynomial domains. The first of these, the ring of integro-differential operators, is used for both stating and solving linear boundary pro","authors_text":"Bruno Buchberger, Georg Regensburger, Loredana Tec, Markus Rosenkranz","cross_cats":["cs.MS","math.CA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-10-10T15:11:49Z","title":"Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gr\\\"obner Bases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2950","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:aa9312cae4b95ccc9c2666110a3335f5d4da42b31e150df37b288bcfd1e4dd85","target":"record","created_at":"2026-05-18T03:43:31Z","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":"44a91501ca65fe5a5d49450760812d572cf2cb13fa094997204f4f27eb334e61","cross_cats_sorted":["cs.MS","math.CA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-10-10T15:11:49Z","title_canon_sha256":"28972ae872692703569bde8f2fc789730fc28fe7aec0278f0fb1693227d32c42"},"schema_version":"1.0","source":{"id":"1210.2950","kind":"arxiv","version":1}},"canonical_sha256":"4f59ced8f967a3b17569987c57e19bf7ef4c55cf3475d853fb3d2f8cdcbbcd7d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4f59ced8f967a3b17569987c57e19bf7ef4c55cf3475d853fb3d2f8cdcbbcd7d","first_computed_at":"2026-05-18T03:43:31.041255Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:43:31.041255Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y7J4z4WjpJ/4sWfyw1ZYU+/xs1sXCKHkzgpOeh4e5/1Il14iARSkhTe5CUO/PZFxOnEAM++f0Leqg0DiBwm1Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:43:31.041935Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.2950","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aa9312cae4b95ccc9c2666110a3335f5d4da42b31e150df37b288bcfd1e4dd85","sha256:733f65c0af7fc4366c9b1b673e39f2eb676c92f9486819786fdd1ad0dd046997"],"state_sha256":"edae3c0e71bd201973dfb3b667ac4da497bc736a6f36f89bb89dd5a750e5d85a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AQwROnb0Q2JeDyNLwR60OnzDMlbu+m3rzrwjb+mqiRx4NJsjXmhIc99mt7fCeoW8urDIfXFnvqNgubSVZYE/CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T12:25:36.421627Z","bundle_sha256":"3e4c535e45f32d31aa0296c123b2df591a5c539d6d6d5feca696c1a37425ce6f"}}