{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:QSOKCIGK2UUXSYORXW55P576XT","short_pith_number":"pith:QSOKCIGK","schema_version":"1.0","canonical_sha256":"849ca120cad5297961d1bdbbd7f7febcfbe93a48814c845ba6ecb1bc0f392f7a","source":{"kind":"arxiv","id":"1309.3910","version":1},"attestation_state":"computed","paper":{"title":"Robustness analysis of finite precision implementations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.SE","authors_text":"Eric Goubault, Sylvie Putot","submitted_at":"2013-09-16T11:40:15Z","abstract_excerpt":"A desirable property of control systems is to be robust to inputs, that is small perturbations of the inputs of a system will cause only small perturbations on its outputs. But it is not clear whether this property is maintained at the implementation level, when two close inputs can lead to very different execution paths. The problem becomes particularly crucial when considering finite precision implementations, where any elementary computation can be affected by a small error. In this context, almost every test is potentially unstable, that is, for a given input, the computed (finite precisio"},"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":"1309.3910","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-09-16T11:40:15Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"9c741cb7d0dcc1c3e9b96d0f742f77b613edda21393416c9cd66f8d40eaba678","abstract_canon_sha256":"55f9af1f55138366a3e0732fa4316dac0c6c184b37c86d5978c02591f82b2073"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:13:11.902287Z","signature_b64":"9vySC3nsu/DBe9YGS0NahYjdw/cJ90/Cji/ZRVgaO2gtoEbLaB8QhuV3LTOLxtsBqhZnr4rvsvQdGqyevxb6BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"849ca120cad5297961d1bdbbd7f7febcfbe93a48814c845ba6ecb1bc0f392f7a","last_reissued_at":"2026-05-18T03:13:11.901480Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:13:11.901480Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Robustness analysis of finite precision implementations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.SE","authors_text":"Eric Goubault, Sylvie Putot","submitted_at":"2013-09-16T11:40:15Z","abstract_excerpt":"A desirable property of control systems is to be robust to inputs, that is small perturbations of the inputs of a system will cause only small perturbations on its outputs. But it is not clear whether this property is maintained at the implementation level, when two close inputs can lead to very different execution paths. The problem becomes particularly crucial when considering finite precision implementations, where any elementary computation can be affected by a small error. In this context, almost every test is potentially unstable, that is, for a given input, the computed (finite precisio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.3910","kind":"arxiv","version":1},"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":"1309.3910","created_at":"2026-05-18T03:13:11.901604+00:00"},{"alias_kind":"arxiv_version","alias_value":"1309.3910v1","created_at":"2026-05-18T03:13:11.901604+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.3910","created_at":"2026-05-18T03:13:11.901604+00:00"},{"alias_kind":"pith_short_12","alias_value":"QSOKCIGK2UUX","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_16","alias_value":"QSOKCIGK2UUXSYOR","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_8","alias_value":"QSOKCIGK","created_at":"2026-05-18T12:27:57.521954+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/QSOKCIGK2UUXSYORXW55P576XT","json":"https://pith.science/pith/QSOKCIGK2UUXSYORXW55P576XT.json","graph_json":"https://pith.science/api/pith-number/QSOKCIGK2UUXSYORXW55P576XT/graph.json","events_json":"https://pith.science/api/pith-number/QSOKCIGK2UUXSYORXW55P576XT/events.json","paper":"https://pith.science/paper/QSOKCIGK"},"agent_actions":{"view_html":"https://pith.science/pith/QSOKCIGK2UUXSYORXW55P576XT","download_json":"https://pith.science/pith/QSOKCIGK2UUXSYORXW55P576XT.json","view_paper":"https://pith.science/paper/QSOKCIGK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1309.3910&json=true","fetch_graph":"https://pith.science/api/pith-number/QSOKCIGK2UUXSYORXW55P576XT/graph.json","fetch_events":"https://pith.science/api/pith-number/QSOKCIGK2UUXSYORXW55P576XT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QSOKCIGK2UUXSYORXW55P576XT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QSOKCIGK2UUXSYORXW55P576XT/action/storage_attestation","attest_author":"https://pith.science/pith/QSOKCIGK2UUXSYORXW55P576XT/action/author_attestation","sign_citation":"https://pith.science/pith/QSOKCIGK2UUXSYORXW55P576XT/action/citation_signature","submit_replication":"https://pith.science/pith/QSOKCIGK2UUXSYORXW55P576XT/action/replication_record"}},"created_at":"2026-05-18T03:13:11.901604+00:00","updated_at":"2026-05-18T03:13:11.901604+00:00"}