{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:R5ZNAPQRYP4EBYAH7JQHURADN3","short_pith_number":"pith:R5ZNAPQR","canonical_record":{"source":{"id":"1304.4738","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-04-17T09:04:39Z","cross_cats_sorted":[],"title_canon_sha256":"aa5d04d195813ab2071a2db07fe04a7d5d3a6f2662adc9ccae636b30778303a0","abstract_canon_sha256":"6c20167ee352b07030f1f4ca57ed0945f6d0adda06b0a4298b331f6cf3c7f6f3"},"schema_version":"1.0"},"canonical_sha256":"8f72d03e11c3f840e007fa607a44036eec7d8d83e17ebe1062162187410d3679","source":{"kind":"arxiv","id":"1304.4738","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4738","created_at":"2026-05-18T03:27:43Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4738v1","created_at":"2026-05-18T03:27:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4738","created_at":"2026-05-18T03:27:43Z"},{"alias_kind":"pith_short_12","alias_value":"R5ZNAPQRYP4E","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"R5ZNAPQRYP4EBYAH","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"R5ZNAPQR","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:R5ZNAPQRYP4EBYAH7JQHURADN3","target":"record","payload":{"canonical_record":{"source":{"id":"1304.4738","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-04-17T09:04:39Z","cross_cats_sorted":[],"title_canon_sha256":"aa5d04d195813ab2071a2db07fe04a7d5d3a6f2662adc9ccae636b30778303a0","abstract_canon_sha256":"6c20167ee352b07030f1f4ca57ed0945f6d0adda06b0a4298b331f6cf3c7f6f3"},"schema_version":"1.0"},"canonical_sha256":"8f72d03e11c3f840e007fa607a44036eec7d8d83e17ebe1062162187410d3679","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:43.824942Z","signature_b64":"qQe761Klsdu4elfx7hMCMPU9jYmdGZIMKFGsviniGFqQLCoKuWlRa0+3hnnqmQippnGwZJ58u63T5QhcslmzAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8f72d03e11c3f840e007fa607a44036eec7d8d83e17ebe1062162187410d3679","last_reissued_at":"2026-05-18T03:27:43.824338Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:43.824338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.4738","source_version":1,"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-05-18T03:27:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d0vIkkag4ng1VDdZjT3wtzbR4tQT7thTs6DwHjMzXq20w0akEfyfFj6ZlZMePlNeaVrVT/oOlAh/638sw7VeDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T23:19:32.185692Z"},"content_sha256":"1eba7e8805bb767dc0d932e15b1fc3a754887278351b4a4b04492154c9a9eb25","schema_version":"1.0","event_id":"sha256:1eba7e8805bb767dc0d932e15b1fc3a754887278351b4a4b04492154c9a9eb25"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:R5ZNAPQRYP4EBYAH7JQHURADN3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing Enclosures of Overdetermined Interval Linear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NA","authors_text":"Jaroslav Hor\\'a\\v{c}ek, Milan Hlad\\'ik","submitted_at":"2013-04-17T09:04:39Z","abstract_excerpt":"This work considers special types of interval linear systems - overdetermined systems. Simply said these systems have more equations than variables. The solution set of an interval linear system is a collection of all solutions of all instances of an interval system. By the instance we mean a point real system that emerges when we independently choose a real number from each interval coefficient of the interval system. Enclosing the solution set of these systems is in some ways more difficult than for square systems. The main goal of this work is to present various methods for solving overdete"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4738","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"},"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-05-18T03:27:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F02qOSdtd+wI3RyREpKEAZIN1LH3bRoFzDKC/C8JwDPrz0GwUFx9+oDTrEE5zf5NPxU0GKK3B4pkSzjBz19gDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T23:19:32.186431Z"},"content_sha256":"29faead96e40a7f6cd37c07e023c22bc216923c13a346f42d0023ab2c5067ed3","schema_version":"1.0","event_id":"sha256:29faead96e40a7f6cd37c07e023c22bc216923c13a346f42d0023ab2c5067ed3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/R5ZNAPQRYP4EBYAH7JQHURADN3/bundle.json","state_url":"https://pith.science/pith/R5ZNAPQRYP4EBYAH7JQHURADN3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/R5ZNAPQRYP4EBYAH7JQHURADN3/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-06-06T23:19:32Z","links":{"resolver":"https://pith.science/pith/R5ZNAPQRYP4EBYAH7JQHURADN3","bundle":"https://pith.science/pith/R5ZNAPQRYP4EBYAH7JQHURADN3/bundle.json","state":"https://pith.science/pith/R5ZNAPQRYP4EBYAH7JQHURADN3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/R5ZNAPQRYP4EBYAH7JQHURADN3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:R5ZNAPQRYP4EBYAH7JQHURADN3","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":"6c20167ee352b07030f1f4ca57ed0945f6d0adda06b0a4298b331f6cf3c7f6f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-04-17T09:04:39Z","title_canon_sha256":"aa5d04d195813ab2071a2db07fe04a7d5d3a6f2662adc9ccae636b30778303a0"},"schema_version":"1.0","source":{"id":"1304.4738","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4738","created_at":"2026-05-18T03:27:43Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4738v1","created_at":"2026-05-18T03:27:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4738","created_at":"2026-05-18T03:27:43Z"},{"alias_kind":"pith_short_12","alias_value":"R5ZNAPQRYP4E","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"R5ZNAPQRYP4EBYAH","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"R5ZNAPQR","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:29faead96e40a7f6cd37c07e023c22bc216923c13a346f42d0023ab2c5067ed3","target":"graph","created_at":"2026-05-18T03:27:43Z","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"},"paper":{"abstract_excerpt":"This work considers special types of interval linear systems - overdetermined systems. Simply said these systems have more equations than variables. The solution set of an interval linear system is a collection of all solutions of all instances of an interval system. By the instance we mean a point real system that emerges when we independently choose a real number from each interval coefficient of the interval system. Enclosing the solution set of these systems is in some ways more difficult than for square systems. The main goal of this work is to present various methods for solving overdete","authors_text":"Jaroslav Hor\\'a\\v{c}ek, Milan Hlad\\'ik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-04-17T09:04:39Z","title":"Computing Enclosures of Overdetermined Interval Linear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4738","kind":"arxiv","version":1},"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:1eba7e8805bb767dc0d932e15b1fc3a754887278351b4a4b04492154c9a9eb25","target":"record","created_at":"2026-05-18T03:27:43Z","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":"6c20167ee352b07030f1f4ca57ed0945f6d0adda06b0a4298b331f6cf3c7f6f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2013-04-17T09:04:39Z","title_canon_sha256":"aa5d04d195813ab2071a2db07fe04a7d5d3a6f2662adc9ccae636b30778303a0"},"schema_version":"1.0","source":{"id":"1304.4738","kind":"arxiv","version":1}},"canonical_sha256":"8f72d03e11c3f840e007fa607a44036eec7d8d83e17ebe1062162187410d3679","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8f72d03e11c3f840e007fa607a44036eec7d8d83e17ebe1062162187410d3679","first_computed_at":"2026-05-18T03:27:43.824338Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:43.824338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qQe761Klsdu4elfx7hMCMPU9jYmdGZIMKFGsviniGFqQLCoKuWlRa0+3hnnqmQippnGwZJ58u63T5QhcslmzAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:43.824942Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.4738","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1eba7e8805bb767dc0d932e15b1fc3a754887278351b4a4b04492154c9a9eb25","sha256:29faead96e40a7f6cd37c07e023c22bc216923c13a346f42d0023ab2c5067ed3"],"state_sha256":"b0651e17469cdd36b3da5f50451cdc601edc5066dc37d5637d46bd4d2dd9996f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/qEdDtgDAh4f2sRZlQ5982Q83N2sAnggl1ZW4oGYDlpQNemY2H73F7zjk+hjMZ4p6hQB9/au2AfDB9okZsQ+Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T23:19:32.190881Z","bundle_sha256":"532dd3eace08863d856608473c1a6910071cd6ba92a082b62a6546ef63e01bd2"}}