{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:EJ47P5TIAHYGTQ5YNYNFELLS2B","short_pith_number":"pith:EJ47P5TI","canonical_record":{"source":{"id":"1207.3019","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-07-12T16:52:08Z","cross_cats_sorted":[],"title_canon_sha256":"6d05b642718e218040c473022b1938b08bebf5cb68ec470ae4099134a533d1f9","abstract_canon_sha256":"cc1c708b9db1e4501738644ef35c412393ea7aa9d050b4659726e24784d7e1bd"},"schema_version":"1.0"},"canonical_sha256":"2279f7f66801f069c3b86e1a522d72d06aeb73491a8a7ad4e2df52b2625eab11","source":{"kind":"arxiv","id":"1207.3019","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.3019","created_at":"2026-05-18T03:43:07Z"},{"alias_kind":"arxiv_version","alias_value":"1207.3019v3","created_at":"2026-05-18T03:43:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.3019","created_at":"2026-05-18T03:43:07Z"},{"alias_kind":"pith_short_12","alias_value":"EJ47P5TIAHYG","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EJ47P5TIAHYGTQ5Y","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EJ47P5TI","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:EJ47P5TIAHYGTQ5YNYNFELLS2B","target":"record","payload":{"canonical_record":{"source":{"id":"1207.3019","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-07-12T16:52:08Z","cross_cats_sorted":[],"title_canon_sha256":"6d05b642718e218040c473022b1938b08bebf5cb68ec470ae4099134a533d1f9","abstract_canon_sha256":"cc1c708b9db1e4501738644ef35c412393ea7aa9d050b4659726e24784d7e1bd"},"schema_version":"1.0"},"canonical_sha256":"2279f7f66801f069c3b86e1a522d72d06aeb73491a8a7ad4e2df52b2625eab11","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:07.030116Z","signature_b64":"79FuEyrk9GPi8MuA56QWedwIy2HYxnwp69HmCcCvF6mpZyYlERxEaCptT06Y7oF4cKg2Y0OsAJRGF7k57qmSBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2279f7f66801f069c3b86e1a522d72d06aeb73491a8a7ad4e2df52b2625eab11","last_reissued_at":"2026-05-18T03:43:07.029579Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:07.029579Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.3019","source_version":3,"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:43:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N6K2QHa5NtgnCw2qTwsR1hZGOvSAC2Xqklpbutq0bgSlYGjmt79bkYq5w+iZ8SmjApwCXVdeVwGq4fRJh1SGBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:28:54.313435Z"},"content_sha256":"bf4250e4963bce8c86a475e705f902fc796b9732abed88e264dd37ab5c2d7d40","schema_version":"1.0","event_id":"sha256:bf4250e4963bce8c86a475e705f902fc796b9732abed88e264dd37ab5c2d7d40"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:EJ47P5TIAHYGTQ5YNYNFELLS2B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Real Root Isolation of Polynomial Equations Based on Hybrid Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Bican Xia, Fei Shen, Wenyuan Wu","submitted_at":"2012-07-12T16:52:08Z","abstract_excerpt":"A new algorithm for real root isolation of polynomial equations based on hybrid computation is presented in this paper. Firstly, the approximate (complex) zeros of the given polynomial equations are obtained via homotopy continuation method. Then, for each approximate zero, an initial box relying on the Kantorovich theorem is constructed, which contains the corresponding accurate zero. Finally, the Krawczyk interval iteration with interval arithmetic is applied to the initial boxes so as to check whether or not the corresponding approximate zeros are real and to obtain the real root isolation "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.3019","kind":"arxiv","version":3},"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:43:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xppHl1IJ9ZWT6bj6zmP2QGyMtig9U6BCIPyVbIKqzKvgzWFRZu66hkzRvBX6nteAPCyfFoaSw52nyI+p1VhTBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:28:54.314136Z"},"content_sha256":"ee15d722418d3ddc662f8c856c66840d9122841f7ff8f4454d4a39331f201430","schema_version":"1.0","event_id":"sha256:ee15d722418d3ddc662f8c856c66840d9122841f7ff8f4454d4a39331f201430"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/bundle.json","state_url":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/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-07T20:28:54Z","links":{"resolver":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B","bundle":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/bundle.json","state":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:EJ47P5TIAHYGTQ5YNYNFELLS2B","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":"cc1c708b9db1e4501738644ef35c412393ea7aa9d050b4659726e24784d7e1bd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-07-12T16:52:08Z","title_canon_sha256":"6d05b642718e218040c473022b1938b08bebf5cb68ec470ae4099134a533d1f9"},"schema_version":"1.0","source":{"id":"1207.3019","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.3019","created_at":"2026-05-18T03:43:07Z"},{"alias_kind":"arxiv_version","alias_value":"1207.3019v3","created_at":"2026-05-18T03:43:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.3019","created_at":"2026-05-18T03:43:07Z"},{"alias_kind":"pith_short_12","alias_value":"EJ47P5TIAHYG","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EJ47P5TIAHYGTQ5Y","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EJ47P5TI","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:ee15d722418d3ddc662f8c856c66840d9122841f7ff8f4454d4a39331f201430","target":"graph","created_at":"2026-05-18T03:43:07Z","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":"A new algorithm for real root isolation of polynomial equations based on hybrid computation is presented in this paper. Firstly, the approximate (complex) zeros of the given polynomial equations are obtained via homotopy continuation method. Then, for each approximate zero, an initial box relying on the Kantorovich theorem is constructed, which contains the corresponding accurate zero. Finally, the Krawczyk interval iteration with interval arithmetic is applied to the initial boxes so as to check whether or not the corresponding approximate zeros are real and to obtain the real root isolation ","authors_text":"Bican Xia, Fei Shen, Wenyuan Wu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-07-12T16:52:08Z","title":"Real Root Isolation of Polynomial Equations Based on Hybrid Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.3019","kind":"arxiv","version":3},"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:bf4250e4963bce8c86a475e705f902fc796b9732abed88e264dd37ab5c2d7d40","target":"record","created_at":"2026-05-18T03:43:07Z","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":"cc1c708b9db1e4501738644ef35c412393ea7aa9d050b4659726e24784d7e1bd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-07-12T16:52:08Z","title_canon_sha256":"6d05b642718e218040c473022b1938b08bebf5cb68ec470ae4099134a533d1f9"},"schema_version":"1.0","source":{"id":"1207.3019","kind":"arxiv","version":3}},"canonical_sha256":"2279f7f66801f069c3b86e1a522d72d06aeb73491a8a7ad4e2df52b2625eab11","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2279f7f66801f069c3b86e1a522d72d06aeb73491a8a7ad4e2df52b2625eab11","first_computed_at":"2026-05-18T03:43:07.029579Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:43:07.029579Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"79FuEyrk9GPi8MuA56QWedwIy2HYxnwp69HmCcCvF6mpZyYlERxEaCptT06Y7oF4cKg2Y0OsAJRGF7k57qmSBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:43:07.030116Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.3019","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf4250e4963bce8c86a475e705f902fc796b9732abed88e264dd37ab5c2d7d40","sha256:ee15d722418d3ddc662f8c856c66840d9122841f7ff8f4454d4a39331f201430"],"state_sha256":"c62029c7e78a65605f6709a5d5bac91be26160a384ac9c7c9e2035ad2bb55e61"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jVWxvVDTWz0njO7ewqtJP6jvNE4ZFw56lZHY+z8d07W/01x6fmbxFBrzm4Y3TDZsSR6w7PLpJzszDN7sfhIUBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T20:28:54.317526Z","bundle_sha256":"921d355392dbd17ec43bc264851511ae2c6eccfa3e0bcc37a05acbcbde096c7c"}}