{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:TLHID7H7WTGYHSQH7SQ45QHIAU","short_pith_number":"pith:TLHID7H7","canonical_record":{"source":{"id":"2201.09488","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2022-01-24T06:51:07Z","cross_cats_sorted":[],"title_canon_sha256":"935a6a3d5ec70ddfd5fd022dad7626ebab22aaeea49abec50d16073d5d410ceb","abstract_canon_sha256":"89e37cf29623c2e64f8ae01e2359ffe4b08cd39b304123e8b5174ac820a964ff"},"schema_version":"1.0"},"canonical_sha256":"9ace81fcffb4cd83ca07fca1cec0e80505cdb00f595bde7012c3986a07417fe0","source":{"kind":"arxiv","id":"2201.09488","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.09488","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"arxiv_version","alias_value":"2201.09488v2","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.09488","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"pith_short_12","alias_value":"TLHID7H7WTGY","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"TLHID7H7WTGYHSQH","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"TLHID7H7","created_at":"2026-07-05T04:30:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:TLHID7H7WTGYHSQH7SQ45QHIAU","target":"record","payload":{"canonical_record":{"source":{"id":"2201.09488","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2022-01-24T06:51:07Z","cross_cats_sorted":[],"title_canon_sha256":"935a6a3d5ec70ddfd5fd022dad7626ebab22aaeea49abec50d16073d5d410ceb","abstract_canon_sha256":"89e37cf29623c2e64f8ae01e2359ffe4b08cd39b304123e8b5174ac820a964ff"},"schema_version":"1.0"},"canonical_sha256":"9ace81fcffb4cd83ca07fca1cec0e80505cdb00f595bde7012c3986a07417fe0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:30:32.943425Z","signature_b64":"6DY967g+GXpLprJk2BYa1ShQEgYIhKqc0p7mw+rmBpuR+WT37kjpiA74B5dOGNm6v/jp7Wt3CEtxD3+TuPZhDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9ace81fcffb4cd83ca07fca1cec0e80505cdb00f595bde7012c3986a07417fe0","last_reissued_at":"2026-07-05T04:30:32.942899Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:30:32.942899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2201.09488","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-07-05T04:30:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ea7YXHBXQaBbnDuaULmA75IvOD36c1ECl/675ms4b++lsH8xC8JZB/5q7HrD4qkb4+Izc7Erj0nrVjblK2lLAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:31:41.232071Z"},"content_sha256":"ea16b61d7924672271a06b96f07aa6d9152d7a663b9d408017d25861ccbaffab","schema_version":"1.0","event_id":"sha256:ea16b61d7924672271a06b96f07aa6d9152d7a663b9d408017d25861ccbaffab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:TLHID7H7WTGYHSQH7SQ45QHIAU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DL","authors_text":"Abdou Youssef, Akiko Aizawa, Andr\\'e Greiner-Petter, Avi Trost, Bela Gipp, Howard S. Cohl, Moritz Schubotz, Rajen Dey","submitted_at":"2022-01-24T06:51:07Z","abstract_excerpt":"Digital mathematical libraries assemble the knowledge of years of mathematical research. Numerous disciplines (e.g., physics, engineering, pure and applied mathematics) rely heavily on compendia gathered findings. Likewise, modern research applications rely more and more on computational solutions, which are often calculated and verified by computer algebra systems. Hence, the correctness, accuracy, and reliability of both digital mathematical libraries and computer algebra systems is a crucial attribute for modern research.\n  In this paper, we present a novel approach to verify a digital math"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.09488","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2201.09488/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T04:30:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EW0FUFdJY0tZyP6+hs+16xyldJf+ySWOio6g1WTkVH2AawET9N1p5qSuoMG6cHu5hnVHwdJbuiJ+ArnqV8YIDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:31:41.232471Z"},"content_sha256":"e71a7f28214a8d38f7efaf1e24ea29a3045a2fc9015e4095c4ae5ae1515a999c","schema_version":"1.0","event_id":"sha256:e71a7f28214a8d38f7efaf1e24ea29a3045a2fc9015e4095c4ae5ae1515a999c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/bundle.json","state_url":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/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-07-07T05:31:41Z","links":{"resolver":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU","bundle":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/bundle.json","state":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:TLHID7H7WTGYHSQH7SQ45QHIAU","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":"89e37cf29623c2e64f8ae01e2359ffe4b08cd39b304123e8b5174ac820a964ff","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2022-01-24T06:51:07Z","title_canon_sha256":"935a6a3d5ec70ddfd5fd022dad7626ebab22aaeea49abec50d16073d5d410ceb"},"schema_version":"1.0","source":{"id":"2201.09488","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.09488","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"arxiv_version","alias_value":"2201.09488v2","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.09488","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"pith_short_12","alias_value":"TLHID7H7WTGY","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"TLHID7H7WTGYHSQH","created_at":"2026-07-05T04:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"TLHID7H7","created_at":"2026-07-05T04:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:e71a7f28214a8d38f7efaf1e24ea29a3045a2fc9015e4095c4ae5ae1515a999c","target":"graph","created_at":"2026-07-05T04:30:32Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2201.09488/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Digital mathematical libraries assemble the knowledge of years of mathematical research. Numerous disciplines (e.g., physics, engineering, pure and applied mathematics) rely heavily on compendia gathered findings. Likewise, modern research applications rely more and more on computational solutions, which are often calculated and verified by computer algebra systems. Hence, the correctness, accuracy, and reliability of both digital mathematical libraries and computer algebra systems is a crucial attribute for modern research.\n  In this paper, we present a novel approach to verify a digital math","authors_text":"Abdou Youssef, Akiko Aizawa, Andr\\'e Greiner-Petter, Avi Trost, Bela Gipp, Howard S. Cohl, Moritz Schubotz, Rajen Dey","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2022-01-24T06:51:07Z","title":"Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.09488","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:ea16b61d7924672271a06b96f07aa6d9152d7a663b9d408017d25861ccbaffab","target":"record","created_at":"2026-07-05T04:30:32Z","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":"89e37cf29623c2e64f8ae01e2359ffe4b08cd39b304123e8b5174ac820a964ff","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2022-01-24T06:51:07Z","title_canon_sha256":"935a6a3d5ec70ddfd5fd022dad7626ebab22aaeea49abec50d16073d5d410ceb"},"schema_version":"1.0","source":{"id":"2201.09488","kind":"arxiv","version":2}},"canonical_sha256":"9ace81fcffb4cd83ca07fca1cec0e80505cdb00f595bde7012c3986a07417fe0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9ace81fcffb4cd83ca07fca1cec0e80505cdb00f595bde7012c3986a07417fe0","first_computed_at":"2026-07-05T04:30:32.942899Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:30:32.942899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6DY967g+GXpLprJk2BYa1ShQEgYIhKqc0p7mw+rmBpuR+WT37kjpiA74B5dOGNm6v/jp7Wt3CEtxD3+TuPZhDw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:30:32.943425Z","signed_message":"canonical_sha256_bytes"},"source_id":"2201.09488","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea16b61d7924672271a06b96f07aa6d9152d7a663b9d408017d25861ccbaffab","sha256:e71a7f28214a8d38f7efaf1e24ea29a3045a2fc9015e4095c4ae5ae1515a999c"],"state_sha256":"0350bd89787ecec03232b3480394666a21268f15bd6d36b6576aaf26f18870c0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ckzX3HZD4pv7qRfhXBNHLrmXmmuX9599kT1fyDmMLrK8vub1FNmKNZGgafjRMPgFTQflOt7Z5yyWGkx+yGyIAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T05:31:41.234687Z","bundle_sha256":"5290e3b92656a1a07bb04d32ea1a9f68be4b975617bca36b670c438c087ffe49"}}