{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:GMRB76Z3WMGUR7LU2I2EP2F25U","short_pith_number":"pith:GMRB76Z3","schema_version":"1.0","canonical_sha256":"33221ffb3bb30d48fd74d23447e8baed0d17370c7f8cc41017a1dcedaa0c3dd1","source":{"kind":"arxiv","id":"1611.01318","version":4},"attestation_state":"computed","paper":{"title":"Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.NA","authors_text":"Victor Magron","submitted_at":"2016-11-04T10:43:13Z","abstract_excerpt":"A longstanding problem related to floating-point implementation of numerical programs is to provide efficient yet precise analysis of output errors.\n  We present a framework to compute lower bounds on largest absolute roundoff errors, for a particular rounding model. This method applies to numerical programs implementing polynomial functions with box constrained input variables. Our study is based on three different hierarchies, relying respectively on generalized eigenvalue problems, elementary computations and semidefinite programming (SDP) relaxations. This is complementary of over-approxim"},"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":"1611.01318","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2016-11-04T10:43:13Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"43590991f4d41bd4817e78dd0e4a56b9e5e4a4615c3928b68e6459c93f487e7f","abstract_canon_sha256":"588ae851d55edecfe58082e85d8ad6ef7b916e49ac35de1a45f2769ad14cf918"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:56.948220Z","signature_b64":"V7tuWzAYXXKwkjLlxJNwbyO6F6TrdAaBhesbimg+OcEI2ry1yukxSEoGmreU0u2xQHIAVGobTa4QJRtI3m03BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33221ffb3bb30d48fd74d23447e8baed0d17370c7f8cc41017a1dcedaa0c3dd1","last_reissued_at":"2026-05-18T00:23:56.947342Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:56.947342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.NA","authors_text":"Victor Magron","submitted_at":"2016-11-04T10:43:13Z","abstract_excerpt":"A longstanding problem related to floating-point implementation of numerical programs is to provide efficient yet precise analysis of output errors.\n  We present a framework to compute lower bounds on largest absolute roundoff errors, for a particular rounding model. This method applies to numerical programs implementing polynomial functions with box constrained input variables. Our study is based on three different hierarchies, relying respectively on generalized eigenvalue problems, elementary computations and semidefinite programming (SDP) relaxations. This is complementary of over-approxim"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.01318","kind":"arxiv","version":4},"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":"1611.01318","created_at":"2026-05-18T00:23:56.947491+00:00"},{"alias_kind":"arxiv_version","alias_value":"1611.01318v4","created_at":"2026-05-18T00:23:56.947491+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.01318","created_at":"2026-05-18T00:23:56.947491+00:00"},{"alias_kind":"pith_short_12","alias_value":"GMRB76Z3WMGU","created_at":"2026-05-18T12:30:19.053100+00:00"},{"alias_kind":"pith_short_16","alias_value":"GMRB76Z3WMGUR7LU","created_at":"2026-05-18T12:30:19.053100+00:00"},{"alias_kind":"pith_short_8","alias_value":"GMRB76Z3","created_at":"2026-05-18T12:30:19.053100+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/GMRB76Z3WMGUR7LU2I2EP2F25U","json":"https://pith.science/pith/GMRB76Z3WMGUR7LU2I2EP2F25U.json","graph_json":"https://pith.science/api/pith-number/GMRB76Z3WMGUR7LU2I2EP2F25U/graph.json","events_json":"https://pith.science/api/pith-number/GMRB76Z3WMGUR7LU2I2EP2F25U/events.json","paper":"https://pith.science/paper/GMRB76Z3"},"agent_actions":{"view_html":"https://pith.science/pith/GMRB76Z3WMGUR7LU2I2EP2F25U","download_json":"https://pith.science/pith/GMRB76Z3WMGUR7LU2I2EP2F25U.json","view_paper":"https://pith.science/paper/GMRB76Z3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1611.01318&json=true","fetch_graph":"https://pith.science/api/pith-number/GMRB76Z3WMGUR7LU2I2EP2F25U/graph.json","fetch_events":"https://pith.science/api/pith-number/GMRB76Z3WMGUR7LU2I2EP2F25U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GMRB76Z3WMGUR7LU2I2EP2F25U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GMRB76Z3WMGUR7LU2I2EP2F25U/action/storage_attestation","attest_author":"https://pith.science/pith/GMRB76Z3WMGUR7LU2I2EP2F25U/action/author_attestation","sign_citation":"https://pith.science/pith/GMRB76Z3WMGUR7LU2I2EP2F25U/action/citation_signature","submit_replication":"https://pith.science/pith/GMRB76Z3WMGUR7LU2I2EP2F25U/action/replication_record"}},"created_at":"2026-05-18T00:23:56.947491+00:00","updated_at":"2026-05-18T00:23:56.947491+00:00"}