{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:TLHID7H7WTGYHSQH7SQ45QHIAU","short_pith_number":"pith:TLHID7H7","schema_version":"1.0","canonical_sha256":"9ace81fcffb4cd83ca07fca1cec0e80505cdb00f595bde7012c3986a07417fe0","source":{"kind":"arxiv","id":"2201.09488","version":2},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2201.09488","created_at":"2026-07-05T04:30:32.942963+00:00"},{"alias_kind":"arxiv_version","alias_value":"2201.09488v2","created_at":"2026-07-05T04:30:32.942963+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.09488","created_at":"2026-07-05T04:30:32.942963+00:00"},{"alias_kind":"pith_short_12","alias_value":"TLHID7H7WTGY","created_at":"2026-07-05T04:30:32.942963+00:00"},{"alias_kind":"pith_short_16","alias_value":"TLHID7H7WTGYHSQH","created_at":"2026-07-05T04:30:32.942963+00:00"},{"alias_kind":"pith_short_8","alias_value":"TLHID7H7","created_at":"2026-07-05T04:30:32.942963+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU","json":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU.json","graph_json":"https://pith.science/api/pith-number/TLHID7H7WTGYHSQH7SQ45QHIAU/graph.json","events_json":"https://pith.science/api/pith-number/TLHID7H7WTGYHSQH7SQ45QHIAU/events.json","paper":"https://pith.science/paper/TLHID7H7"},"agent_actions":{"view_html":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU","download_json":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU.json","view_paper":"https://pith.science/paper/TLHID7H7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2201.09488&json=true","fetch_graph":"https://pith.science/api/pith-number/TLHID7H7WTGYHSQH7SQ45QHIAU/graph.json","fetch_events":"https://pith.science/api/pith-number/TLHID7H7WTGYHSQH7SQ45QHIAU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/action/storage_attestation","attest_author":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/action/author_attestation","sign_citation":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/action/citation_signature","submit_replication":"https://pith.science/pith/TLHID7H7WTGYHSQH7SQ45QHIAU/action/replication_record"}},"created_at":"2026-07-05T04:30:32.942963+00:00","updated_at":"2026-07-05T04:30:32.942963+00:00"}