{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:MT2KHDJQIENB3E5R7SR3X4E4AT","short_pith_number":"pith:MT2KHDJQ","canonical_record":{"source":{"id":"1712.01752","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-12-05T16:49:08Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"3c6d358e414eaf95ba2cb402fe82c447060eb0c75ccfedfe6473a08bc997b5ec","abstract_canon_sha256":"9db2324d89c3d91af98776d17ddecce0d1f8d3a6ebc8e77d98bdadaa532002c5"},"schema_version":"1.0"},"canonical_sha256":"64f4a38d30411a1d93b1fca3bbf09c04cf951c040dec1776d5f09829f3465e4e","source":{"kind":"arxiv","id":"1712.01752","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.01752","created_at":"2026-05-18T00:02:19Z"},{"alias_kind":"arxiv_version","alias_value":"1712.01752v2","created_at":"2026-05-18T00:02:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.01752","created_at":"2026-05-18T00:02:19Z"},{"alias_kind":"pith_short_12","alias_value":"MT2KHDJQIENB","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MT2KHDJQIENB3E5R","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MT2KHDJQ","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:MT2KHDJQIENB3E5R7SR3X4E4AT","target":"record","payload":{"canonical_record":{"source":{"id":"1712.01752","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-12-05T16:49:08Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"3c6d358e414eaf95ba2cb402fe82c447060eb0c75ccfedfe6473a08bc997b5ec","abstract_canon_sha256":"9db2324d89c3d91af98776d17ddecce0d1f8d3a6ebc8e77d98bdadaa532002c5"},"schema_version":"1.0"},"canonical_sha256":"64f4a38d30411a1d93b1fca3bbf09c04cf951c040dec1776d5f09829f3465e4e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:19.478397Z","signature_b64":"53EoGmGuVvVRIT3vg1bCV3+aM5OEgvsdEJYg8gvZd1sT8x3zi4KlA7ByRrkhJGXbQwPzxHV+x9WAIJ9DbuMwBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"64f4a38d30411a1d93b1fca3bbf09c04cf951c040dec1776d5f09829f3465e4e","last_reissued_at":"2026-05-18T00:02:19.477924Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:19.477924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.01752","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-18T00:02:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hz+9oFe/DKJUjC9m/Qzgc1n+NIfMgvcSdKrR0dh+/5kjq+E6Xl6ahyQfz+ZaTO56ahHAAp5TfYHgAvMKE7inAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T11:49:34.847984Z"},"content_sha256":"9b452a86dcd157b3aaa710d12051b89dfcee013f9f21fd9992ba2febb38a7993","schema_version":"1.0","event_id":"sha256:9b452a86dcd157b3aaa710d12051b89dfcee013f9f21fd9992ba2febb38a7993"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:MT2KHDJQIENB3E5R7SR3X4E4AT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic-Numeric Integration of Rational Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NA"],"primary_cat":"cs.SC","authors_text":"Marc Moreno Maza, Ning Xie, Robert H. C. Moir, Robert M. Corless","submitted_at":"2017-12-05T16:49:08Z","abstract_excerpt":"We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions. Using a hybrid method allows the stable yet efficient computation of symbolic antiderivatives while avoiding issues of ill-conditioning to which numerical methods are susceptible. We propose two alternative methods for exact input that compute the rational part of the integral using Hermite reduction and then compute the transcendental part two different ways using a combination of exact integration and efficient numerical computation of roots. The symbolic computation is done within "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.01752","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-18T00:02:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y0oLick5d9Zlskbu5W5/ev3dp4MZtuNE0BsItS11MBWmzPKhV6exAPKEqzqqUK2C8mO9zaIjRAVsvP62/F0xBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T11:49:34.848341Z"},"content_sha256":"07bf22af13668cc08d308dd277609e8be45e8b259f1c98ed5c95ce54d95d603e","schema_version":"1.0","event_id":"sha256:07bf22af13668cc08d308dd277609e8be45e8b259f1c98ed5c95ce54d95d603e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MT2KHDJQIENB3E5R7SR3X4E4AT/bundle.json","state_url":"https://pith.science/pith/MT2KHDJQIENB3E5R7SR3X4E4AT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MT2KHDJQIENB3E5R7SR3X4E4AT/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-28T11:49:34Z","links":{"resolver":"https://pith.science/pith/MT2KHDJQIENB3E5R7SR3X4E4AT","bundle":"https://pith.science/pith/MT2KHDJQIENB3E5R7SR3X4E4AT/bundle.json","state":"https://pith.science/pith/MT2KHDJQIENB3E5R7SR3X4E4AT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MT2KHDJQIENB3E5R7SR3X4E4AT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:MT2KHDJQIENB3E5R7SR3X4E4AT","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":"9db2324d89c3d91af98776d17ddecce0d1f8d3a6ebc8e77d98bdadaa532002c5","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-12-05T16:49:08Z","title_canon_sha256":"3c6d358e414eaf95ba2cb402fe82c447060eb0c75ccfedfe6473a08bc997b5ec"},"schema_version":"1.0","source":{"id":"1712.01752","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.01752","created_at":"2026-05-18T00:02:19Z"},{"alias_kind":"arxiv_version","alias_value":"1712.01752v2","created_at":"2026-05-18T00:02:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.01752","created_at":"2026-05-18T00:02:19Z"},{"alias_kind":"pith_short_12","alias_value":"MT2KHDJQIENB","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MT2KHDJQIENB3E5R","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MT2KHDJQ","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:07bf22af13668cc08d308dd277609e8be45e8b259f1c98ed5c95ce54d95d603e","target":"graph","created_at":"2026-05-18T00:02:19Z","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 consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions. Using a hybrid method allows the stable yet efficient computation of symbolic antiderivatives while avoiding issues of ill-conditioning to which numerical methods are susceptible. We propose two alternative methods for exact input that compute the rational part of the integral using Hermite reduction and then compute the transcendental part two different ways using a combination of exact integration and efficient numerical computation of roots. The symbolic computation is done within ","authors_text":"Marc Moreno Maza, Ning Xie, Robert H. C. Moir, Robert M. Corless","cross_cats":["math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-12-05T16:49:08Z","title":"Symbolic-Numeric Integration of Rational Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.01752","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:9b452a86dcd157b3aaa710d12051b89dfcee013f9f21fd9992ba2febb38a7993","target":"record","created_at":"2026-05-18T00:02:19Z","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":"9db2324d89c3d91af98776d17ddecce0d1f8d3a6ebc8e77d98bdadaa532002c5","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-12-05T16:49:08Z","title_canon_sha256":"3c6d358e414eaf95ba2cb402fe82c447060eb0c75ccfedfe6473a08bc997b5ec"},"schema_version":"1.0","source":{"id":"1712.01752","kind":"arxiv","version":2}},"canonical_sha256":"64f4a38d30411a1d93b1fca3bbf09c04cf951c040dec1776d5f09829f3465e4e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"64f4a38d30411a1d93b1fca3bbf09c04cf951c040dec1776d5f09829f3465e4e","first_computed_at":"2026-05-18T00:02:19.477924Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:19.477924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"53EoGmGuVvVRIT3vg1bCV3+aM5OEgvsdEJYg8gvZd1sT8x3zi4KlA7ByRrkhJGXbQwPzxHV+x9WAIJ9DbuMwBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:19.478397Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.01752","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b452a86dcd157b3aaa710d12051b89dfcee013f9f21fd9992ba2febb38a7993","sha256:07bf22af13668cc08d308dd277609e8be45e8b259f1c98ed5c95ce54d95d603e"],"state_sha256":"249fd05781bd2ee98aeefbb3ef0a8a67657e4efc07dfcb86b877df3b4ded2651"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"foQYgXZIicokDiK6iJtEoqE2V6yokjoS+WVkesBVAVgNSL1EAdrRqM85jiwSxRd8edAgJKB4CFEGWsvxBqyzAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T11:49:34.850258Z","bundle_sha256":"fb4676f9ea26a29ece3f755144d8c54b9e05b538d6961c6c97468d6adb2c89e7"}}