{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:3L3NVIBUPETWD5ZUTWZL3CEIHN","short_pith_number":"pith:3L3NVIBU","canonical_record":{"source":{"id":"1408.2721","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-08-12T14:18:37Z","cross_cats_sorted":["math.AG","math.NA"],"title_canon_sha256":"41414a5ed2ccbf858b4cc479640d045dc4fedd74cda18e1d8a4e0488085bbdad","abstract_canon_sha256":"b2ba0f82a0af458d3480b14a5ef020228f1aa3ff43edd38de3c8b0f6be8f7070"},"schema_version":"1.0"},"canonical_sha256":"daf6daa034792761f7349db2bd88883b5c4e63e98ecf763c177ff5b80a57b1ae","source":{"kind":"arxiv","id":"1408.2721","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.2721","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"arxiv_version","alias_value":"1408.2721v1","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.2721","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"pith_short_12","alias_value":"3L3NVIBUPETW","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3L3NVIBUPETWD5ZU","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3L3NVIBU","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:3L3NVIBUPETWD5ZUTWZL3CEIHN","target":"record","payload":{"canonical_record":{"source":{"id":"1408.2721","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-08-12T14:18:37Z","cross_cats_sorted":["math.AG","math.NA"],"title_canon_sha256":"41414a5ed2ccbf858b4cc479640d045dc4fedd74cda18e1d8a4e0488085bbdad","abstract_canon_sha256":"b2ba0f82a0af458d3480b14a5ef020228f1aa3ff43edd38de3c8b0f6be8f7070"},"schema_version":"1.0"},"canonical_sha256":"daf6daa034792761f7349db2bd88883b5c4e63e98ecf763c177ff5b80a57b1ae","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:22.452747Z","signature_b64":"EWIFasVOL0jq9Q3+Lnao+4K9bwq5rPEfWqv6/koODyCRwbqv9hhwHnapCmpWQZegSnFI4cnHLEPfzkBwInR6Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"daf6daa034792761f7349db2bd88883b5c4e63e98ecf763c177ff5b80a57b1ae","last_reissued_at":"2026-05-18T02:45:22.452348Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:22.452348Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.2721","source_version":1,"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-18T02:45:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zp8JYrJwFt7Pn0y+/FaOSqavqlD+Q8ZvqwIB267uNuw3Wftmmr8nJ/0h50CBD7q8RIrXIampd851xnr7C8dLBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:21:45.587015Z"},"content_sha256":"e9ac699a232e9734fe2c38360c6364c75102c523dbc971f3791616a197af31c3","schema_version":"1.0","event_id":"sha256:e9ac699a232e9734fe2c38360c6364c75102c523dbc971f3791616a197af31c3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:3L3NVIBUPETWD5ZUTWZL3CEIHN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Certifying solutions to overdetermined and singular polynomial systems over Q","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG","math.NA"],"primary_cat":"cs.SC","authors_text":"Agnes Szanto, Jonathan D. Hauenstein, Tulay Ayyildiz Akoglu","submitted_at":"2014-08-12T14:18:37Z","abstract_excerpt":"This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is not a continuous property. Our certification is based on hybrid symbolic-numeric methods to compute the exact \"rational univariate representation\" (RUR) of a component of the input system from approximate roots. For overdetermined polynomial systems with simple roots, we compute an initial RUR from approximate roots. The accuracy of the RUR is increased via Ne"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.2721","kind":"arxiv","version":1},"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-18T02:45:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1rMTTP570uQ6BYzCFGmXWRoABAmxM9LAkXZuUHbFK7dYAvm/DxbqFq0jfmoyDPdrOB0F4l2xiaLGZHWr2wyIDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:21:45.587387Z"},"content_sha256":"41b2f8ba721caffea85dde52a90e0390c0cef12df2f66a2c06b34f7a1973abd5","schema_version":"1.0","event_id":"sha256:41b2f8ba721caffea85dde52a90e0390c0cef12df2f66a2c06b34f7a1973abd5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3L3NVIBUPETWD5ZUTWZL3CEIHN/bundle.json","state_url":"https://pith.science/pith/3L3NVIBUPETWD5ZUTWZL3CEIHN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3L3NVIBUPETWD5ZUTWZL3CEIHN/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-01T08:21:45Z","links":{"resolver":"https://pith.science/pith/3L3NVIBUPETWD5ZUTWZL3CEIHN","bundle":"https://pith.science/pith/3L3NVIBUPETWD5ZUTWZL3CEIHN/bundle.json","state":"https://pith.science/pith/3L3NVIBUPETWD5ZUTWZL3CEIHN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3L3NVIBUPETWD5ZUTWZL3CEIHN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:3L3NVIBUPETWD5ZUTWZL3CEIHN","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":"b2ba0f82a0af458d3480b14a5ef020228f1aa3ff43edd38de3c8b0f6be8f7070","cross_cats_sorted":["math.AG","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-08-12T14:18:37Z","title_canon_sha256":"41414a5ed2ccbf858b4cc479640d045dc4fedd74cda18e1d8a4e0488085bbdad"},"schema_version":"1.0","source":{"id":"1408.2721","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.2721","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"arxiv_version","alias_value":"1408.2721v1","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.2721","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"pith_short_12","alias_value":"3L3NVIBUPETW","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3L3NVIBUPETWD5ZU","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3L3NVIBU","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:41b2f8ba721caffea85dde52a90e0390c0cef12df2f66a2c06b34f7a1973abd5","target":"graph","created_at":"2026-05-18T02:45:22Z","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 certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is not a continuous property. Our certification is based on hybrid symbolic-numeric methods to compute the exact \"rational univariate representation\" (RUR) of a component of the input system from approximate roots. For overdetermined polynomial systems with simple roots, we compute an initial RUR from approximate roots. The accuracy of the RUR is increased via Ne","authors_text":"Agnes Szanto, Jonathan D. Hauenstein, Tulay Ayyildiz Akoglu","cross_cats":["math.AG","math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-08-12T14:18:37Z","title":"Certifying solutions to overdetermined and singular polynomial systems over Q"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.2721","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:e9ac699a232e9734fe2c38360c6364c75102c523dbc971f3791616a197af31c3","target":"record","created_at":"2026-05-18T02:45:22Z","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":"b2ba0f82a0af458d3480b14a5ef020228f1aa3ff43edd38de3c8b0f6be8f7070","cross_cats_sorted":["math.AG","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-08-12T14:18:37Z","title_canon_sha256":"41414a5ed2ccbf858b4cc479640d045dc4fedd74cda18e1d8a4e0488085bbdad"},"schema_version":"1.0","source":{"id":"1408.2721","kind":"arxiv","version":1}},"canonical_sha256":"daf6daa034792761f7349db2bd88883b5c4e63e98ecf763c177ff5b80a57b1ae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"daf6daa034792761f7349db2bd88883b5c4e63e98ecf763c177ff5b80a57b1ae","first_computed_at":"2026-05-18T02:45:22.452348Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:45:22.452348Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EWIFasVOL0jq9Q3+Lnao+4K9bwq5rPEfWqv6/koODyCRwbqv9hhwHnapCmpWQZegSnFI4cnHLEPfzkBwInR6Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:45:22.452747Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.2721","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e9ac699a232e9734fe2c38360c6364c75102c523dbc971f3791616a197af31c3","sha256:41b2f8ba721caffea85dde52a90e0390c0cef12df2f66a2c06b34f7a1973abd5"],"state_sha256":"e834f9304f8d184f0414c5a59c4c938ba71956630512b3791e4dba76fceb3665"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LnhLXQ1lgyD69begDzvOeejt204U/fKnV1MWOnQKDz3JnUpUJBUFA7U+rG9NgCWx8iRVhCn3pZmCNQeUZR4tDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T08:21:45.589338Z","bundle_sha256":"82bcd1d2852650828fdb6464a13e5370213e44f41170e10754b539e1e39418bc"}}