{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:5KEKZYL65YLWI5TTPO5G6DMWXQ","short_pith_number":"pith:5KEKZYL6","schema_version":"1.0","canonical_sha256":"ea88ace17eee176476737bba6f0d96bc2026838f94be347376f1a94124282a69","source":{"kind":"arxiv","id":"1707.02121","version":2},"attestation_state":"computed","paper":{"title":"On Sound Relative Error Bounds for Floating-Point Arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Anastasiia Izycheva, Eva Darulova","submitted_at":"2017-07-07T11:24:49Z","abstract_excerpt":"State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estimate of accuracy as they do not take into account the magnitude of the computed values. Relative errors, which compute errors relative to the value's magnitude, are thus preferable. While today's tools do report relative error bounds, these are merely computed via absolute errors and thus not necessarily tight or more informative. Furthermore, whenever the computed value is close to zero on part of the domain, the tool"},"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":"1707.02121","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-07-07T11:24:49Z","cross_cats_sorted":[],"title_canon_sha256":"3f2c2d8bf00815503ce5dfa0ffa9a176d399afc15adf929a4cfd131d0f26aa78","abstract_canon_sha256":"d466959785ac31df57075f58a4eedb602650fff572335a850c3f7f5d06cf581c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:39.555629Z","signature_b64":"gJkuEC5E22AU+7jVuxyY/ikVKm3nHT6Oc9nj5L7bNycuEB93DlVlCrfQ7pDqqsw/EmUEnTBBrsLDjVTzf/GjCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea88ace17eee176476737bba6f0d96bc2026838f94be347376f1a94124282a69","last_reissued_at":"2026-05-18T00:38:39.555210Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:39.555210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Sound Relative Error Bounds for Floating-Point Arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Anastasiia Izycheva, Eva Darulova","submitted_at":"2017-07-07T11:24:49Z","abstract_excerpt":"State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estimate of accuracy as they do not take into account the magnitude of the computed values. Relative errors, which compute errors relative to the value's magnitude, are thus preferable. While today's tools do report relative error bounds, these are merely computed via absolute errors and thus not necessarily tight or more informative. Furthermore, whenever the computed value is close to zero on part of the domain, the tool"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.02121","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1707.02121","created_at":"2026-05-18T00:38:39.555266+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.02121v2","created_at":"2026-05-18T00:38:39.555266+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.02121","created_at":"2026-05-18T00:38:39.555266+00:00"},{"alias_kind":"pith_short_12","alias_value":"5KEKZYL65YLW","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_16","alias_value":"5KEKZYL65YLWI5TT","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_8","alias_value":"5KEKZYL6","created_at":"2026-05-18T12:31:00.734936+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/5KEKZYL65YLWI5TTPO5G6DMWXQ","json":"https://pith.science/pith/5KEKZYL65YLWI5TTPO5G6DMWXQ.json","graph_json":"https://pith.science/api/pith-number/5KEKZYL65YLWI5TTPO5G6DMWXQ/graph.json","events_json":"https://pith.science/api/pith-number/5KEKZYL65YLWI5TTPO5G6DMWXQ/events.json","paper":"https://pith.science/paper/5KEKZYL6"},"agent_actions":{"view_html":"https://pith.science/pith/5KEKZYL65YLWI5TTPO5G6DMWXQ","download_json":"https://pith.science/pith/5KEKZYL65YLWI5TTPO5G6DMWXQ.json","view_paper":"https://pith.science/paper/5KEKZYL6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.02121&json=true","fetch_graph":"https://pith.science/api/pith-number/5KEKZYL65YLWI5TTPO5G6DMWXQ/graph.json","fetch_events":"https://pith.science/api/pith-number/5KEKZYL65YLWI5TTPO5G6DMWXQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5KEKZYL65YLWI5TTPO5G6DMWXQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5KEKZYL65YLWI5TTPO5G6DMWXQ/action/storage_attestation","attest_author":"https://pith.science/pith/5KEKZYL65YLWI5TTPO5G6DMWXQ/action/author_attestation","sign_citation":"https://pith.science/pith/5KEKZYL65YLWI5TTPO5G6DMWXQ/action/citation_signature","submit_replication":"https://pith.science/pith/5KEKZYL65YLWI5TTPO5G6DMWXQ/action/replication_record"}},"created_at":"2026-05-18T00:38:39.555266+00:00","updated_at":"2026-05-18T00:38:39.555266+00:00"}