{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:AAEZEH5KPQ73S2TQDI5QQWMPZR","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":"b1ca012aeb2433f20499f716904b3b4d8252a8a38421062f481c34b84fec31bc","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-05-19T14:31:22Z","title_canon_sha256":"f18f8a1fd935e810fb53e89df68a6b99030cd2e09359ec05814cda43103181e4"},"schema_version":"1.0","source":{"id":"1405.4740","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.4740","created_at":"2026-05-18T02:51:34Z"},{"alias_kind":"arxiv_version","alias_value":"1405.4740v1","created_at":"2026-05-18T02:51:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.4740","created_at":"2026-05-18T02:51:34Z"},{"alias_kind":"pith_short_12","alias_value":"AAEZEH5KPQ73","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"AAEZEH5KPQ73S2TQ","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"AAEZEH5K","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:c2cb25aba08cc8a04cb4f3e63fa98729114682dba9f4d94304fdb8d6c91cd0f8","target":"graph","created_at":"2026-05-18T02:51:34Z","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":"We address the problem of computing a linear separating form of a system of two bivariate polynomials with integer coefficients, that is a linear combination of the variables that takes different values when evaluated at the distinct solutions of the system. The computation of such linear forms is at the core of most algorithms that solve algebraic systems by computing rational parameterizations of the solutions and this is the bottleneck of these algorithms in terms of worst-case bit complexity. We present for this problem a new algorithm of worst-case bit complexity $\\sOB(d^7+d^6\\tau)$ where","authors_text":"Fabrice Rouillier (IMJ, Guillaume Moroz (INRIA Nancy - Grand Est / LORIA), Inria Paris-Rocquencourt), Marc Pouget (INRIA Sophia Antipolis), Sylvain Lazard (INRIA Nancy - Grand Est / LORIA), Yacine Bouzidi (INRIA Nancy - Grand Est / LORIA)","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-05-19T14:31:22Z","title":"Improved algorithm for computing separating linear forms for bivariate systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.4740","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:b52302bacf17a32339abfa0ce5a778f156912b326de4531767a1072893454166","target":"record","created_at":"2026-05-18T02:51:34Z","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":"b1ca012aeb2433f20499f716904b3b4d8252a8a38421062f481c34b84fec31bc","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-05-19T14:31:22Z","title_canon_sha256":"f18f8a1fd935e810fb53e89df68a6b99030cd2e09359ec05814cda43103181e4"},"schema_version":"1.0","source":{"id":"1405.4740","kind":"arxiv","version":1}},"canonical_sha256":"0009921faa7c3fb96a701a3b08598fcc6370cc7ef3e33cb8afe7744b2225e98d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0009921faa7c3fb96a701a3b08598fcc6370cc7ef3e33cb8afe7744b2225e98d","first_computed_at":"2026-05-18T02:51:34.771691Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:34.771691Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X/Mt42Oqf2VWP2jsz7CA+OQB/VQYYOcRF5szG7ZUwycIDUMe/o2UEQ7u62q3zH4aovgU4ni3sRfyFoKUA/lSBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:34.772127Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.4740","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b52302bacf17a32339abfa0ce5a778f156912b326de4531767a1072893454166","sha256:c2cb25aba08cc8a04cb4f3e63fa98729114682dba9f4d94304fdb8d6c91cd0f8"],"state_sha256":"4c4bc5d9c1df2b5ad87e095bb201217e23f911a18f81f01147f31e81ac33e946"}