{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:EJ47P5TIAHYGTQ5YNYNFELLS2B","short_pith_number":"pith:EJ47P5TI","schema_version":"1.0","canonical_sha256":"2279f7f66801f069c3b86e1a522d72d06aeb73491a8a7ad4e2df52b2625eab11","source":{"kind":"arxiv","id":"1207.3019","version":3},"attestation_state":"computed","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 "},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1207.3019","created_at":"2026-05-18T03:43:07.029662+00:00"},{"alias_kind":"arxiv_version","alias_value":"1207.3019v3","created_at":"2026-05-18T03:43:07.029662+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.3019","created_at":"2026-05-18T03:43:07.029662+00:00"},{"alias_kind":"pith_short_12","alias_value":"EJ47P5TIAHYG","created_at":"2026-05-18T12:27:04.183437+00:00"},{"alias_kind":"pith_short_16","alias_value":"EJ47P5TIAHYGTQ5Y","created_at":"2026-05-18T12:27:04.183437+00:00"},{"alias_kind":"pith_short_8","alias_value":"EJ47P5TI","created_at":"2026-05-18T12:27:04.183437+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/EJ47P5TIAHYGTQ5YNYNFELLS2B","json":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B.json","graph_json":"https://pith.science/api/pith-number/EJ47P5TIAHYGTQ5YNYNFELLS2B/graph.json","events_json":"https://pith.science/api/pith-number/EJ47P5TIAHYGTQ5YNYNFELLS2B/events.json","paper":"https://pith.science/paper/EJ47P5TI"},"agent_actions":{"view_html":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B","download_json":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B.json","view_paper":"https://pith.science/paper/EJ47P5TI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1207.3019&json=true","fetch_graph":"https://pith.science/api/pith-number/EJ47P5TIAHYGTQ5YNYNFELLS2B/graph.json","fetch_events":"https://pith.science/api/pith-number/EJ47P5TIAHYGTQ5YNYNFELLS2B/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/action/storage_attestation","attest_author":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/action/author_attestation","sign_citation":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/action/citation_signature","submit_replication":"https://pith.science/pith/EJ47P5TIAHYGTQ5YNYNFELLS2B/action/replication_record"}},"created_at":"2026-05-18T03:43:07.029662+00:00","updated_at":"2026-05-18T03:43:07.029662+00:00"}