{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:Z5I2BYUAL5G6QWJJBESVO2QEBG","short_pith_number":"pith:Z5I2BYUA","canonical_record":{"source":{"id":"1303.5041","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-03-20T19:38:45Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"e8df6b0230a92dbc85b69ea7758bc51e720e1ed9115c7dbcc778430352d95cb0","abstract_canon_sha256":"05009908401d4030eeec5ddc5a448b23b569e326cd1bf164c2d870f004d928c4"},"schema_version":"1.0"},"canonical_sha256":"cf51a0e2805f4de859290925576a0409ba23890e97762f480e3d1c3a14029351","source":{"kind":"arxiv","id":"1303.5041","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.5041","created_at":"2026-05-18T03:01:46Z"},{"alias_kind":"arxiv_version","alias_value":"1303.5041v2","created_at":"2026-05-18T03:01:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.5041","created_at":"2026-05-18T03:01:46Z"},{"alias_kind":"pith_short_12","alias_value":"Z5I2BYUAL5G6","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"Z5I2BYUAL5G6QWJJ","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"Z5I2BYUA","created_at":"2026-05-18T12:28:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:Z5I2BYUAL5G6QWJJBESVO2QEBG","target":"record","payload":{"canonical_record":{"source":{"id":"1303.5041","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-03-20T19:38:45Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"e8df6b0230a92dbc85b69ea7758bc51e720e1ed9115c7dbcc778430352d95cb0","abstract_canon_sha256":"05009908401d4030eeec5ddc5a448b23b569e326cd1bf164c2d870f004d928c4"},"schema_version":"1.0"},"canonical_sha256":"cf51a0e2805f4de859290925576a0409ba23890e97762f480e3d1c3a14029351","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:46.713062Z","signature_b64":"huJau12i6Qh/IJHU0f5X8lKv3mEVaLtCvEfOoUQk/F///LavmIVRiokK3mpYyl6s9JzAcrDdHMfuQlb4Q2uRCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cf51a0e2805f4de859290925576a0409ba23890e97762f480e3d1c3a14029351","last_reissued_at":"2026-05-18T03:01:46.712559Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:46.712559Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.5041","source_version":2,"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:01:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c09JZXoOTsntwBFHPUHCIhxJH9MyBmKIToXIrN0XTgscwRaD8kmy8ygRZVl7nlgX15E+FA+V44EdLL+6dObcDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T08:27:54.251505Z"},"content_sha256":"a2c005dbc6b9505f6ab165fcf8a9ca01232b04d28845d542e437e0ff851857ef","schema_version":"1.0","event_id":"sha256:a2c005dbc6b9505f6ab165fcf8a9ca01232b04d28845d542e437e0ff851857ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:Z5I2BYUAL5G6QWJJBESVO2QEBG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Separating linear forms for bivariate systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG"],"primary_cat":"cs.SC","authors_text":"Fabrice Rouillier (INRIA Paris-Rocquencourt), Marc Pouget (INRIA Nancy - Grand Est / LORIA), Sylvain Lazard (INRIA Nancy - Grand Est / LORIA), Yacine Bouzidi (INRIA Nancy - Grand Est / LORIA)","submitted_at":"2013-03-20T19:38:45Z","abstract_excerpt":"We present an algorithm for computing a separating linear form of a system of bivariate polynomials with integer coefficients, that is a linear combination of the variables that takes different values when evaluated at distinct (complex) solutions of the system. In other words, a separating linear form defines a shear of the coordinate system that sends the algebraic system in generic position, in the sense that no two distinct solutions are vertically aligned. The computation of such linear forms is at the core of most algorithms that solve algebraic systems by computing rational parameteriza"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.5041","kind":"arxiv","version":2},"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:01:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lgN9gfKrhxvJxJs/j525gH6sn4PDkzISrRpmsbqpU/bEqt6la+BpOL6vlfW8sY8BunuIYwK8AX4iDMP9TsK2Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T08:27:54.251850Z"},"content_sha256":"3cc2f5e245975400e61743ad9e195b880af4128a7c68015680981aa8959bec5e","schema_version":"1.0","event_id":"sha256:3cc2f5e245975400e61743ad9e195b880af4128a7c68015680981aa8959bec5e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z5I2BYUAL5G6QWJJBESVO2QEBG/bundle.json","state_url":"https://pith.science/pith/Z5I2BYUAL5G6QWJJBESVO2QEBG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z5I2BYUAL5G6QWJJBESVO2QEBG/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-25T08:27:54Z","links":{"resolver":"https://pith.science/pith/Z5I2BYUAL5G6QWJJBESVO2QEBG","bundle":"https://pith.science/pith/Z5I2BYUAL5G6QWJJBESVO2QEBG/bundle.json","state":"https://pith.science/pith/Z5I2BYUAL5G6QWJJBESVO2QEBG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z5I2BYUAL5G6QWJJBESVO2QEBG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:Z5I2BYUAL5G6QWJJBESVO2QEBG","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":"05009908401d4030eeec5ddc5a448b23b569e326cd1bf164c2d870f004d928c4","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-03-20T19:38:45Z","title_canon_sha256":"e8df6b0230a92dbc85b69ea7758bc51e720e1ed9115c7dbcc778430352d95cb0"},"schema_version":"1.0","source":{"id":"1303.5041","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.5041","created_at":"2026-05-18T03:01:46Z"},{"alias_kind":"arxiv_version","alias_value":"1303.5041v2","created_at":"2026-05-18T03:01:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.5041","created_at":"2026-05-18T03:01:46Z"},{"alias_kind":"pith_short_12","alias_value":"Z5I2BYUAL5G6","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"Z5I2BYUAL5G6QWJJ","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"Z5I2BYUA","created_at":"2026-05-18T12:28:09Z"}],"graph_snapshots":[{"event_id":"sha256:3cc2f5e245975400e61743ad9e195b880af4128a7c68015680981aa8959bec5e","target":"graph","created_at":"2026-05-18T03:01:46Z","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 present an algorithm for computing a separating linear form of a system of bivariate polynomials with integer coefficients, that is a linear combination of the variables that takes different values when evaluated at distinct (complex) solutions of the system. In other words, a separating linear form defines a shear of the coordinate system that sends the algebraic system in generic position, in the sense that no two distinct solutions are vertically aligned. The computation of such linear forms is at the core of most algorithms that solve algebraic systems by computing rational parameteriza","authors_text":"Fabrice Rouillier (INRIA Paris-Rocquencourt), Marc Pouget (INRIA Nancy - Grand Est / LORIA), Sylvain Lazard (INRIA Nancy - Grand Est / LORIA), Yacine Bouzidi (INRIA Nancy - Grand Est / LORIA)","cross_cats":["cs.CG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-03-20T19:38:45Z","title":"Separating linear forms for bivariate systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.5041","kind":"arxiv","version":2},"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:a2c005dbc6b9505f6ab165fcf8a9ca01232b04d28845d542e437e0ff851857ef","target":"record","created_at":"2026-05-18T03:01:46Z","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":"05009908401d4030eeec5ddc5a448b23b569e326cd1bf164c2d870f004d928c4","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-03-20T19:38:45Z","title_canon_sha256":"e8df6b0230a92dbc85b69ea7758bc51e720e1ed9115c7dbcc778430352d95cb0"},"schema_version":"1.0","source":{"id":"1303.5041","kind":"arxiv","version":2}},"canonical_sha256":"cf51a0e2805f4de859290925576a0409ba23890e97762f480e3d1c3a14029351","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf51a0e2805f4de859290925576a0409ba23890e97762f480e3d1c3a14029351","first_computed_at":"2026-05-18T03:01:46.712559Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:46.712559Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"huJau12i6Qh/IJHU0f5X8lKv3mEVaLtCvEfOoUQk/F///LavmIVRiokK3mpYyl6s9JzAcrDdHMfuQlb4Q2uRCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:46.713062Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.5041","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a2c005dbc6b9505f6ab165fcf8a9ca01232b04d28845d542e437e0ff851857ef","sha256:3cc2f5e245975400e61743ad9e195b880af4128a7c68015680981aa8959bec5e"],"state_sha256":"c172723bcc8050d4b05fcbd748808cf6b406721d1385cfb8396e8fc0df00f843"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qYVxYMrc8hSpYp+YP7Pjg6aBJDWHAJUIULlccd0sPxSGZAN+ivbQWyi3AYscJ6LnChxbuHiWmOJHu8WyFjZYCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T08:27:54.253754Z","bundle_sha256":"b9c93fc9cf6d185e7a682fd2bfae9c186ceaaf5d36e29576252d59adb0dbdbd3"}}