{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:DBDKKUM7U6DTPERQAZF35KYIMB","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":"72bc08fbf3ecfd9fd10a6084468a2257269681c3ed8a8f1be6b9248a25318ecc","cross_cats_sorted":["math-ph","math.CO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-04-15T15:37:44Z","title_canon_sha256":"ba20ad0207861695c08e6f34a0633b2425ce29ea1b3909dfaf0dd7606485775c"},"schema_version":"1.0","source":{"id":"1304.4134","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4134","created_at":"2026-05-18T03:27:53Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4134v1","created_at":"2026-05-18T03:27:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4134","created_at":"2026-05-18T03:27:53Z"},{"alias_kind":"pith_short_12","alias_value":"DBDKKUM7U6DT","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"DBDKKUM7U6DTPERQ","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"DBDKKUM7","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:3531bec3748bdc744b06390ee74bc0e37f4a0764f2642b78564e49f12bd2eddc","target":"graph","created_at":"2026-05-18T03:27:53Z","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 survey article we present difference field algorithms for symbolic summation. Special emphasize is put on new aspects in how the summation problems are rephrased in terms of difference fields, how the problems are solved there, and how the derived results in the given difference field can be reinterpreted as solutions of the input problem. The algorithms are illustrated with the Mathematica package \\SigmaP\\ by discovering and proving new harmonic number identities extending those from (Paule and Schneider, 2003). In addition, the newly developed package \\texttt{EvaluateMultiSums} is in","authors_text":"Carsten Schneider","cross_cats":["math-ph","math.CO","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-04-15T15:37:44Z","title":"Simplifying Multiple Sums in Difference Fields"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4134","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:ae8e812686dd33f2102090fc102e360c62cc2b64768179c127302bba6a3b8a04","target":"record","created_at":"2026-05-18T03:27:53Z","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":"72bc08fbf3ecfd9fd10a6084468a2257269681c3ed8a8f1be6b9248a25318ecc","cross_cats_sorted":["math-ph","math.CO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-04-15T15:37:44Z","title_canon_sha256":"ba20ad0207861695c08e6f34a0633b2425ce29ea1b3909dfaf0dd7606485775c"},"schema_version":"1.0","source":{"id":"1304.4134","kind":"arxiv","version":1}},"canonical_sha256":"1846a5519fa787379230064bbeab08605a02e76bd7d5c7b0f1710e542392d2d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1846a5519fa787379230064bbeab08605a02e76bd7d5c7b0f1710e542392d2d2","first_computed_at":"2026-05-18T03:27:53.658375Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:53.658375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J/vIBoRlvBB/eNse+pIemRewHPyXFRKofAuZkeEnAvcvDG4rb1VuBQJbuMoJebnq60ufOKmg30tlOMUNoEjzDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:53.658959Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.4134","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae8e812686dd33f2102090fc102e360c62cc2b64768179c127302bba6a3b8a04","sha256:3531bec3748bdc744b06390ee74bc0e37f4a0764f2642b78564e49f12bd2eddc"],"state_sha256":"6abd42785bf363465dff49e5ca367b0c4bdae01d6d644128834b3773ff1dbf20"}