{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:YGV7Q5WEADZT7GQXM3FNNZC55A","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":"14f875d8f4aa6ff11816284901798555eb5d57a3f5553595d60161606434cd18","cross_cats_sorted":["cs.DS","cs.SC","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-12-10T12:57:08Z","title_canon_sha256":"882ef601cf22cfcb2d93c41083e91f1b8b5d49e936635de2b1888f5ac81ee15d"},"schema_version":"1.0","source":{"id":"1412.3290","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.3290","created_at":"2026-05-18T02:03:48Z"},{"alias_kind":"arxiv_version","alias_value":"1412.3290v2","created_at":"2026-05-18T02:03:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.3290","created_at":"2026-05-18T02:03:48Z"},{"alias_kind":"pith_short_12","alias_value":"YGV7Q5WEADZT","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"YGV7Q5WEADZT7GQX","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"YGV7Q5WE","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:bd6f02d34746bdfc7124a256930e7e0ab839409c59e20e62087a75655138d02d","target":"graph","created_at":"2026-05-18T02:03:48Z","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":"Let $\\mathcal C$ be a real plane algebraic curve defined by the resultant of two polynomials (resp. by the discriminant of a polynomial). Geometrically such a curve is the projection of the intersection of the surfaces $P(x,y,z)=Q(x,y,z)=0$ (resp. $P(x,y,z)=\\frac{\\partial P}{\\partial z}(x,y,z)=0$), and generically its singularities are nodes (resp. nodes and ordinary cusps). State-of-the-art numerical algorithms compute the topology of smooth curves but usually fail to certify the topology of singular ones. The main challenge is to find practical numerical criteria that guarantee the existence","authors_text":"Guillaume Moroz (INRIA Nancy - Grand Est / LORIA), Marc Pouget (INRIA Nancy - Grand Est / LORIA), R\\'emi Imbach (INRIA Nancy - Grand Est / LORIA)","cross_cats":["cs.DS","cs.SC","math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-12-10T12:57:08Z","title":"Numeric certified algorithm for the topology of resultant and discriminant curves"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.3290","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:e658a004edb92da611f0ce94981e368d618203e36d057f98267c5ce5d6b22549","target":"record","created_at":"2026-05-18T02:03:48Z","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":"14f875d8f4aa6ff11816284901798555eb5d57a3f5553595d60161606434cd18","cross_cats_sorted":["cs.DS","cs.SC","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-12-10T12:57:08Z","title_canon_sha256":"882ef601cf22cfcb2d93c41083e91f1b8b5d49e936635de2b1888f5ac81ee15d"},"schema_version":"1.0","source":{"id":"1412.3290","kind":"arxiv","version":2}},"canonical_sha256":"c1abf876c400f33f9a1766cad6e45de821dcf678442cd169f0f243a355fce24e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1abf876c400f33f9a1766cad6e45de821dcf678442cd169f0f243a355fce24e","first_computed_at":"2026-05-18T02:03:48.151784Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:03:48.151784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Gl9Z8B8aGwz3ubOR8sM9nC7YwPs6pZUKn9uNTc8FWPcs8+Am8Lw5RT5yNCQ8lNT9oTBjchzLMZ7ZiRBqSzscCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:03:48.152198Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.3290","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e658a004edb92da611f0ce94981e368d618203e36d057f98267c5ce5d6b22549","sha256:bd6f02d34746bdfc7124a256930e7e0ab839409c59e20e62087a75655138d02d"],"state_sha256":"666c31bb1c954e269f7fadb8b63379fd363c416a33394fc03c8e2b2231982a29"}