{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:RM6FA3BQRRAGDB3AUUESXE7KEL","short_pith_number":"pith:RM6FA3BQ","canonical_record":{"source":{"id":"1301.5045","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-01-22T00:26:00Z","cross_cats_sorted":[],"title_canon_sha256":"3dadc6155dcbb12acaf2045782fe2d4208f6c758c48287b535789ecb3e098d27","abstract_canon_sha256":"18ac082f2a320f471b5cb10195f5dcf0a737c363ab30db5d4c19a8ef11babec4"},"schema_version":"1.0"},"canonical_sha256":"8b3c506c308c40618760a5092b93ea22d0179f8e5a305fddffab58003da07087","source":{"kind":"arxiv","id":"1301.5045","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.5045","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"arxiv_version","alias_value":"1301.5045v1","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.5045","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"pith_short_12","alias_value":"RM6FA3BQRRAG","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"RM6FA3BQRRAGDB3A","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"RM6FA3BQ","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:RM6FA3BQRRAGDB3AUUESXE7KEL","target":"record","payload":{"canonical_record":{"source":{"id":"1301.5045","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-01-22T00:26:00Z","cross_cats_sorted":[],"title_canon_sha256":"3dadc6155dcbb12acaf2045782fe2d4208f6c758c48287b535789ecb3e098d27","abstract_canon_sha256":"18ac082f2a320f471b5cb10195f5dcf0a737c363ab30db5d4c19a8ef11babec4"},"schema_version":"1.0"},"canonical_sha256":"8b3c506c308c40618760a5092b93ea22d0179f8e5a305fddffab58003da07087","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:35:53.232375Z","signature_b64":"O593LWl+oFjs153CSp1+PVCbGFz5TGOnpVbMsNtO67I6BY3+KNgMvFwe17DDCF5DTwsMGwk/noUd5lofyrI3BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8b3c506c308c40618760a5092b93ea22d0179f8e5a305fddffab58003da07087","last_reissued_at":"2026-05-18T03:35:53.231673Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:35:53.231673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.5045","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:35:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0rkOd0dIb00bJTj2f3KKwBoSFfk1YuqZjQpbfXR2d7dLFm/uickaJhYAL6QHSBBtk44WBx2w0RZVD25X9ljdBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T19:22:38.291928Z"},"content_sha256":"a2a205f6487e11e21d5c13945c6ac32e8b8e3d8ba19d703a021bef909d20bded","schema_version":"1.0","event_id":"sha256:a2a205f6487e11e21d5c13945c6ac32e8b8e3d8ba19d703a021bef909d20bded"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:RM6FA3BQRRAGDB3AUUESXE7KEL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Complexity of Creative Telescoping for Bivariate Rational Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Alin Bostan, Fr\\'ed\\'eric Chyzak, Shaoshi Chen, Ziming Li","submitted_at":"2013-01-22T00:26:00Z","abstract_excerpt":"The long-term goal initiated in this work is to obtain fast algorithms and implementations for definite integration in Almkvist and Zeilberger's framework of (differential) creative telescoping. Our complexity-driven approach is to obtain tight degree bounds on the various expressions involved in the method. To make the problem more tractable, we restrict to bivariate rational functions. By considering this constrained class of inputs, we are able to blend the general method of creative telescoping with the well-known Hermite reduction. We then use our new method to compute diagonals of ration"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.5045","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:35:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nrasHUBrVot5PAT9iewzbltNH3i8l7VNL87k/k/ozbGUltS4O/EsiXuyc1Q3VcS475ZAtxHL+jkVCsRUGcHGAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T19:22:38.292750Z"},"content_sha256":"8c86b68a03480f46a7e6be7770712045c3bff9f44d6da8cb31236a1dd32a517b","schema_version":"1.0","event_id":"sha256:8c86b68a03480f46a7e6be7770712045c3bff9f44d6da8cb31236a1dd32a517b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RM6FA3BQRRAGDB3AUUESXE7KEL/bundle.json","state_url":"https://pith.science/pith/RM6FA3BQRRAGDB3AUUESXE7KEL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RM6FA3BQRRAGDB3AUUESXE7KEL/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-31T19:22:38Z","links":{"resolver":"https://pith.science/pith/RM6FA3BQRRAGDB3AUUESXE7KEL","bundle":"https://pith.science/pith/RM6FA3BQRRAGDB3AUUESXE7KEL/bundle.json","state":"https://pith.science/pith/RM6FA3BQRRAGDB3AUUESXE7KEL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RM6FA3BQRRAGDB3AUUESXE7KEL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:RM6FA3BQRRAGDB3AUUESXE7KEL","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":"18ac082f2a320f471b5cb10195f5dcf0a737c363ab30db5d4c19a8ef11babec4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-01-22T00:26:00Z","title_canon_sha256":"3dadc6155dcbb12acaf2045782fe2d4208f6c758c48287b535789ecb3e098d27"},"schema_version":"1.0","source":{"id":"1301.5045","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.5045","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"arxiv_version","alias_value":"1301.5045v1","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.5045","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"pith_short_12","alias_value":"RM6FA3BQRRAG","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"RM6FA3BQRRAGDB3A","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"RM6FA3BQ","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:8c86b68a03480f46a7e6be7770712045c3bff9f44d6da8cb31236a1dd32a517b","target":"graph","created_at":"2026-05-18T03:35: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":"The long-term goal initiated in this work is to obtain fast algorithms and implementations for definite integration in Almkvist and Zeilberger's framework of (differential) creative telescoping. Our complexity-driven approach is to obtain tight degree bounds on the various expressions involved in the method. To make the problem more tractable, we restrict to bivariate rational functions. By considering this constrained class of inputs, we are able to blend the general method of creative telescoping with the well-known Hermite reduction. We then use our new method to compute diagonals of ration","authors_text":"Alin Bostan, Fr\\'ed\\'eric Chyzak, Shaoshi Chen, Ziming Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-01-22T00:26:00Z","title":"Complexity of Creative Telescoping for Bivariate Rational Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.5045","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:a2a205f6487e11e21d5c13945c6ac32e8b8e3d8ba19d703a021bef909d20bded","target":"record","created_at":"2026-05-18T03:35: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":"18ac082f2a320f471b5cb10195f5dcf0a737c363ab30db5d4c19a8ef11babec4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-01-22T00:26:00Z","title_canon_sha256":"3dadc6155dcbb12acaf2045782fe2d4208f6c758c48287b535789ecb3e098d27"},"schema_version":"1.0","source":{"id":"1301.5045","kind":"arxiv","version":1}},"canonical_sha256":"8b3c506c308c40618760a5092b93ea22d0179f8e5a305fddffab58003da07087","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b3c506c308c40618760a5092b93ea22d0179f8e5a305fddffab58003da07087","first_computed_at":"2026-05-18T03:35:53.231673Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:35:53.231673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"O593LWl+oFjs153CSp1+PVCbGFz5TGOnpVbMsNtO67I6BY3+KNgMvFwe17DDCF5DTwsMGwk/noUd5lofyrI3BA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:35:53.232375Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.5045","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a2a205f6487e11e21d5c13945c6ac32e8b8e3d8ba19d703a021bef909d20bded","sha256:8c86b68a03480f46a7e6be7770712045c3bff9f44d6da8cb31236a1dd32a517b"],"state_sha256":"9d1f06d0a8dff966308e9cdc4a2601c30ad412e83b195e60ed285d437b9dd659"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9Q5jqE+xwfk9KezhKazvKbnPT7FwxtZvD5XNaEHXA4C+0fSND7fcg5BmlbRqMwFPYU0TyL1z/3HFNRBTQ/OZDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T19:22:38.297620Z","bundle_sha256":"1c9be1486f5291deb30eb2b5a7b43bec0bdf89b09df140adf8f8793dae7f696d"}}