{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:FZXLFJ5NH6EPTWHMN3IENWDMW7","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":"d38c1f2fb691d2139ce65aacfaeeb5b13b8b4f3612d8bfa727eda441a2efb43d","cross_cats_sorted":["cs.DS","cs.MS","cs.NA","math.AG","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-03-05T19:39:05Z","title_canon_sha256":"d321ec3ae89c4a76402eccdd04b80b0771260b845a26fb210a86add54a156bd1"},"schema_version":"1.0","source":{"id":"1203.1017","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.1017","created_at":"2026-05-18T04:00:49Z"},{"alias_kind":"arxiv_version","alias_value":"1203.1017v1","created_at":"2026-05-18T04:00:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1017","created_at":"2026-05-18T04:00:49Z"},{"alias_kind":"pith_short_12","alias_value":"FZXLFJ5NH6EP","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"FZXLFJ5NH6EPTWHM","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"FZXLFJ5N","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:b67770c2350d98b3880f60853b85a745c64edc0d232790a650f23ed56deef06f","target":"graph","created_at":"2026-05-18T04:00:49Z","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 paper is concerned with exact real solving of well-constrained, bivariate polynomial systems. The main problem is to isolate all common real roots in rational rectangles, and to determine their intersection multiplicities. We present three algorithms and analyze their asymptotic bit complexity, obtaining a bound of $\\sOB(N^{14})$ for the purely projection-based method, and $\\sOB(N^{12})$ for two subresultant-based methods: this notation ignores polylogarithmic factors, where $N$ bounds the degree and the bitsize of the polynomials. The previous record bound was $\\sOB(N^{14})$.\n  Our main ","authors_text":"Dimitrios I. Diochnos, Elias P. Tsigaridas, Ioannis Z. Emiris","cross_cats":["cs.DS","cs.MS","cs.NA","math.AG","math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-03-05T19:39:05Z","title":"On the asymptotic and practical complexity of solving bivariate systems over the reals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1017","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:99793489c7c28b2e42e613766900def7093513d81bffc5e87306e774681f0186","target":"record","created_at":"2026-05-18T04:00:49Z","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":"d38c1f2fb691d2139ce65aacfaeeb5b13b8b4f3612d8bfa727eda441a2efb43d","cross_cats_sorted":["cs.DS","cs.MS","cs.NA","math.AG","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2012-03-05T19:39:05Z","title_canon_sha256":"d321ec3ae89c4a76402eccdd04b80b0771260b845a26fb210a86add54a156bd1"},"schema_version":"1.0","source":{"id":"1203.1017","kind":"arxiv","version":1}},"canonical_sha256":"2e6eb2a7ad3f88f9d8ec6ed046d86cb7c49d65facd795d18ff7eca8de83a2d32","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e6eb2a7ad3f88f9d8ec6ed046d86cb7c49d65facd795d18ff7eca8de83a2d32","first_computed_at":"2026-05-18T04:00:49.830364Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:00:49.830364Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W8NMW4phpr9pBW8D3JqfJWA/Xa42TSrHRIl+8nhbkytLRkmhzqTNAjlOz36/UT1ieYKifICaxxdq/AiVbxs2BA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:00:49.830779Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.1017","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99793489c7c28b2e42e613766900def7093513d81bffc5e87306e774681f0186","sha256:b67770c2350d98b3880f60853b85a745c64edc0d232790a650f23ed56deef06f"],"state_sha256":"a26442c17bde9d2de53de9fca827577730d09e7df8defd8adcd9ec75b34cf3ce"}