{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:7BKBBPAQVNCLD53CVRQK3UQ2AS","short_pith_number":"pith:7BKBBPAQ","canonical_record":{"source":{"id":"1201.1954","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-01-10T02:23:14Z","cross_cats_sorted":["math.AG","math.CO"],"title_canon_sha256":"0b57ab71c09e29ee507267b6b9c5dcc383425e24779b90ec83b954311295b203","abstract_canon_sha256":"9eebc17b6a1b95e7360e54c02bfc91443ef80e2f560e826f29a7cbf4541fed42"},"schema_version":"1.0"},"canonical_sha256":"f85410bc10ab44b1f762ac60add21a04a67ebf030618bf84642d71d443191af4","source":{"kind":"arxiv","id":"1201.1954","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.1954","created_at":"2026-05-18T04:04:52Z"},{"alias_kind":"arxiv_version","alias_value":"1201.1954v2","created_at":"2026-05-18T04:04:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.1954","created_at":"2026-05-18T04:04:52Z"},{"alias_kind":"pith_short_12","alias_value":"7BKBBPAQVNCL","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"7BKBBPAQVNCLD53C","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"7BKBBPAQ","created_at":"2026-05-18T12:26:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:7BKBBPAQVNCLD53CVRQK3UQ2AS","target":"record","payload":{"canonical_record":{"source":{"id":"1201.1954","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-01-10T02:23:14Z","cross_cats_sorted":["math.AG","math.CO"],"title_canon_sha256":"0b57ab71c09e29ee507267b6b9c5dcc383425e24779b90ec83b954311295b203","abstract_canon_sha256":"9eebc17b6a1b95e7360e54c02bfc91443ef80e2f560e826f29a7cbf4541fed42"},"schema_version":"1.0"},"canonical_sha256":"f85410bc10ab44b1f762ac60add21a04a67ebf030618bf84642d71d443191af4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:04:52.936635Z","signature_b64":"mvMSpoACfGz5DBEtAHSCqhSfvIzAg8Vp+8vp1TlmZwGrQ5QwyNMuo8LK7lU0aesgq1b/+lFVfaVkZ1vu1OhRDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f85410bc10ab44b1f762ac60add21a04a67ebf030618bf84642d71d443191af4","last_reissued_at":"2026-05-18T04:04:52.935979Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:04:52.935979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.1954","source_version":2,"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-18T04:04:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"im9HWwnducp3OgnPf21liZeGDTBF+//bG799l6glz0bBdQMzLtM4ZOC9pD/FSqxJIqnfQSoSV4ag4EagzQqgBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T15:35:21.169001Z"},"content_sha256":"09dd90c8cc3e68e73239a916fef44ed7442501fbd4c3212b9dad028a2714b6a1","schema_version":"1.0","event_id":"sha256:09dd90c8cc3e68e73239a916fef44ed7442501fbd4c3212b9dad028a2714b6a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:7BKBBPAQVNCLD53CVRQK3UQ2AS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Telescopers for Rational and Algebraic Functions via Residues","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG","math.CO"],"primary_cat":"cs.SC","authors_text":"Manuel Kauers, Michael F. Singer, Shaoshi Chen","submitted_at":"2012-01-10T02:23:14Z","abstract_excerpt":"We show that the problem of constructing telescopers for functions of m variables is equivalent to the problem of constructing telescopers for algebraic functions of m -1 variables and present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for rational functions of three variables is faster than known algorithms, at least in some examples of combinatorial interest. The algorithm for algebraic functions implies a new bound on the order of t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.1954","kind":"arxiv","version":2},"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-18T04:04:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"abiDAezCFm8it5t7J0sZuCWvno7vS8IOcF1fLQfzVtE7w1gbYWKPvafP+shPE+o5m4LF+JU4U2quxeegCTkRBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T15:35:21.169825Z"},"content_sha256":"2d683cb542180996b41d37eb495ea9473660250ab00881b31d195b30a30ca97f","schema_version":"1.0","event_id":"sha256:2d683cb542180996b41d37eb495ea9473660250ab00881b31d195b30a30ca97f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7BKBBPAQVNCLD53CVRQK3UQ2AS/bundle.json","state_url":"https://pith.science/pith/7BKBBPAQVNCLD53CVRQK3UQ2AS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7BKBBPAQVNCLD53CVRQK3UQ2AS/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-11T15:35:21Z","links":{"resolver":"https://pith.science/pith/7BKBBPAQVNCLD53CVRQK3UQ2AS","bundle":"https://pith.science/pith/7BKBBPAQVNCLD53CVRQK3UQ2AS/bundle.json","state":"https://pith.science/pith/7BKBBPAQVNCLD53CVRQK3UQ2AS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7BKBBPAQVNCLD53CVRQK3UQ2AS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:7BKBBPAQVNCLD53CVRQK3UQ2AS","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":"9eebc17b6a1b95e7360e54c02bfc91443ef80e2f560e826f29a7cbf4541fed42","cross_cats_sorted":["math.AG","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-01-10T02:23:14Z","title_canon_sha256":"0b57ab71c09e29ee507267b6b9c5dcc383425e24779b90ec83b954311295b203"},"schema_version":"1.0","source":{"id":"1201.1954","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.1954","created_at":"2026-05-18T04:04:52Z"},{"alias_kind":"arxiv_version","alias_value":"1201.1954v2","created_at":"2026-05-18T04:04:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.1954","created_at":"2026-05-18T04:04:52Z"},{"alias_kind":"pith_short_12","alias_value":"7BKBBPAQVNCL","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"7BKBBPAQVNCLD53C","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"7BKBBPAQ","created_at":"2026-05-18T12:26:56Z"}],"graph_snapshots":[{"event_id":"sha256:2d683cb542180996b41d37eb495ea9473660250ab00881b31d195b30a30ca97f","target":"graph","created_at":"2026-05-18T04:04:52Z","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 show that the problem of constructing telescopers for functions of m variables is equivalent to the problem of constructing telescopers for algebraic functions of m -1 variables and present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for rational functions of three variables is faster than known algorithms, at least in some examples of combinatorial interest. The algorithm for algebraic functions implies a new bound on the order of t","authors_text":"Manuel Kauers, Michael F. Singer, Shaoshi Chen","cross_cats":["math.AG","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-01-10T02:23:14Z","title":"Telescopers for Rational and Algebraic Functions via Residues"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.1954","kind":"arxiv","version":2},"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:09dd90c8cc3e68e73239a916fef44ed7442501fbd4c3212b9dad028a2714b6a1","target":"record","created_at":"2026-05-18T04:04:52Z","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":"9eebc17b6a1b95e7360e54c02bfc91443ef80e2f560e826f29a7cbf4541fed42","cross_cats_sorted":["math.AG","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-01-10T02:23:14Z","title_canon_sha256":"0b57ab71c09e29ee507267b6b9c5dcc383425e24779b90ec83b954311295b203"},"schema_version":"1.0","source":{"id":"1201.1954","kind":"arxiv","version":2}},"canonical_sha256":"f85410bc10ab44b1f762ac60add21a04a67ebf030618bf84642d71d443191af4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f85410bc10ab44b1f762ac60add21a04a67ebf030618bf84642d71d443191af4","first_computed_at":"2026-05-18T04:04:52.935979Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:04:52.935979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mvMSpoACfGz5DBEtAHSCqhSfvIzAg8Vp+8vp1TlmZwGrQ5QwyNMuo8LK7lU0aesgq1b/+lFVfaVkZ1vu1OhRDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:04:52.936635Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.1954","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09dd90c8cc3e68e73239a916fef44ed7442501fbd4c3212b9dad028a2714b6a1","sha256:2d683cb542180996b41d37eb495ea9473660250ab00881b31d195b30a30ca97f"],"state_sha256":"5a0382a87f9b84bcb57a20812b730bd17fce7079578414496f00955b2df33065"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RrNTxxhBKL7GCKdDd16Wx51D8WSzUb2gXT5p/hSE39hzKu03FX2Kb8Kgv3zyBIWfobn18H1wbJplYTQbNbr0Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T15:35:21.173888Z","bundle_sha256":"239d5b7101f0e16bf6bc882c2bc5c8c26bd81b5101d6618ca6f2bccd480df54c"}}