{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:UPBQZYPQCYCEUYK2IT3S7U7BVH","short_pith_number":"pith:UPBQZYPQ","canonical_record":{"source":{"id":"1205.0869","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-04T06:56:29Z","cross_cats_sorted":[],"title_canon_sha256":"75feb1d4088f0f823e7badab602f45e268aa3eb646346d2a9cc5daaef3f57dc6","abstract_canon_sha256":"85ab673fe5f13532b775a8749415a2ef5cd01a15f9dbfb814cf9925a28eb60a9"},"schema_version":"1.0"},"canonical_sha256":"a3c30ce1f016044a615a44f72fd3e1a9d9867827036393183e91befdf3831491","source":{"kind":"arxiv","id":"1205.0869","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.0869","created_at":"2026-05-18T03:56:23Z"},{"alias_kind":"arxiv_version","alias_value":"1205.0869v1","created_at":"2026-05-18T03:56:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.0869","created_at":"2026-05-18T03:56:23Z"},{"alias_kind":"pith_short_12","alias_value":"UPBQZYPQCYCE","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"UPBQZYPQCYCEUYK2","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"UPBQZYPQ","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:UPBQZYPQCYCEUYK2IT3S7U7BVH","target":"record","payload":{"canonical_record":{"source":{"id":"1205.0869","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-04T06:56:29Z","cross_cats_sorted":[],"title_canon_sha256":"75feb1d4088f0f823e7badab602f45e268aa3eb646346d2a9cc5daaef3f57dc6","abstract_canon_sha256":"85ab673fe5f13532b775a8749415a2ef5cd01a15f9dbfb814cf9925a28eb60a9"},"schema_version":"1.0"},"canonical_sha256":"a3c30ce1f016044a615a44f72fd3e1a9d9867827036393183e91befdf3831491","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:56:23.714917Z","signature_b64":"q80m3TL+YOOeV1shDB1b2Nr0pDTYAn6mMfbv7BDb42QB0/ZzK0cJntLf0pUvwjp5iLBSVERaNUR7jZYVj9UvAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a3c30ce1f016044a615a44f72fd3e1a9d9867827036393183e91befdf3831491","last_reissued_at":"2026-05-18T03:56:23.714187Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:56:23.714187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1205.0869","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-18T03:56:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W5ZFrYPjD7EGb3SaQRSSChgW3AyEQlTgMfBo8XzAaC2f02al+CIyXj8bcY5XS2awxfrMvWkJSRWmlcsam8iCBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:21:57.183163Z"},"content_sha256":"4840be6b227fcc37c6b2259fd036bbb67de4d399002b4d46082fb2572f25e906","schema_version":"1.0","event_id":"sha256:4840be6b227fcc37c6b2259fd036bbb67de4d399002b4d46082fb2572f25e906"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:UPBQZYPQCYCEUYK2IT3S7U7BVH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast Computation of Zeros of Polynomial Systems with Bounded Degree under Finite-precision","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NA","authors_text":"Felipe Cucker, Irenee Briquel, Javier Pena, Vera Roshchina","submitted_at":"2012-05-04T06:56:29Z","abstract_excerpt":"A solution for Smale's 17th problem, for the case of systems with bounded degree was recently given. This solution, an algorithm computing approximate zeros of complex polynomial systems in average polynomial time, assumed infinite precision. In this paper we describe a finite-precision version of this algorithm. Our main result shows that this version works within the same time bounds and requires a precision which, on the average, amounts to a polynomial amount of bits in the mantissa of the intervening floating-point numbers."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.0869","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-18T03:56:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HAVT5QHYsDE8qgio6p3kXx+YUeqxZzcrfC2dKw3NRtnV90LQopCUctdXRBitMaNhkRYNaSrpFIwBFLGLi4h9CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:21:57.183912Z"},"content_sha256":"05198ac3eefe2b94b31c783bdcbcef10e559a24c8091b616d0e94e1550335b4c","schema_version":"1.0","event_id":"sha256:05198ac3eefe2b94b31c783bdcbcef10e559a24c8091b616d0e94e1550335b4c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UPBQZYPQCYCEUYK2IT3S7U7BVH/bundle.json","state_url":"https://pith.science/pith/UPBQZYPQCYCEUYK2IT3S7U7BVH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UPBQZYPQCYCEUYK2IT3S7U7BVH/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-05-31T18:21:57Z","links":{"resolver":"https://pith.science/pith/UPBQZYPQCYCEUYK2IT3S7U7BVH","bundle":"https://pith.science/pith/UPBQZYPQCYCEUYK2IT3S7U7BVH/bundle.json","state":"https://pith.science/pith/UPBQZYPQCYCEUYK2IT3S7U7BVH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UPBQZYPQCYCEUYK2IT3S7U7BVH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:UPBQZYPQCYCEUYK2IT3S7U7BVH","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":"85ab673fe5f13532b775a8749415a2ef5cd01a15f9dbfb814cf9925a28eb60a9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-04T06:56:29Z","title_canon_sha256":"75feb1d4088f0f823e7badab602f45e268aa3eb646346d2a9cc5daaef3f57dc6"},"schema_version":"1.0","source":{"id":"1205.0869","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.0869","created_at":"2026-05-18T03:56:23Z"},{"alias_kind":"arxiv_version","alias_value":"1205.0869v1","created_at":"2026-05-18T03:56:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.0869","created_at":"2026-05-18T03:56:23Z"},{"alias_kind":"pith_short_12","alias_value":"UPBQZYPQCYCE","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"UPBQZYPQCYCEUYK2","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"UPBQZYPQ","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:05198ac3eefe2b94b31c783bdcbcef10e559a24c8091b616d0e94e1550335b4c","target":"graph","created_at":"2026-05-18T03:56:23Z","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":"A solution for Smale's 17th problem, for the case of systems with bounded degree was recently given. This solution, an algorithm computing approximate zeros of complex polynomial systems in average polynomial time, assumed infinite precision. In this paper we describe a finite-precision version of this algorithm. Our main result shows that this version works within the same time bounds and requires a precision which, on the average, amounts to a polynomial amount of bits in the mantissa of the intervening floating-point numbers.","authors_text":"Felipe Cucker, Irenee Briquel, Javier Pena, Vera Roshchina","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-04T06:56:29Z","title":"Fast Computation of Zeros of Polynomial Systems with Bounded Degree under Finite-precision"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.0869","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:4840be6b227fcc37c6b2259fd036bbb67de4d399002b4d46082fb2572f25e906","target":"record","created_at":"2026-05-18T03:56:23Z","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":"85ab673fe5f13532b775a8749415a2ef5cd01a15f9dbfb814cf9925a28eb60a9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2012-05-04T06:56:29Z","title_canon_sha256":"75feb1d4088f0f823e7badab602f45e268aa3eb646346d2a9cc5daaef3f57dc6"},"schema_version":"1.0","source":{"id":"1205.0869","kind":"arxiv","version":1}},"canonical_sha256":"a3c30ce1f016044a615a44f72fd3e1a9d9867827036393183e91befdf3831491","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a3c30ce1f016044a615a44f72fd3e1a9d9867827036393183e91befdf3831491","first_computed_at":"2026-05-18T03:56:23.714187Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:56:23.714187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q80m3TL+YOOeV1shDB1b2Nr0pDTYAn6mMfbv7BDb42QB0/ZzK0cJntLf0pUvwjp5iLBSVERaNUR7jZYVj9UvAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:56:23.714917Z","signed_message":"canonical_sha256_bytes"},"source_id":"1205.0869","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4840be6b227fcc37c6b2259fd036bbb67de4d399002b4d46082fb2572f25e906","sha256:05198ac3eefe2b94b31c783bdcbcef10e559a24c8091b616d0e94e1550335b4c"],"state_sha256":"a2680ee449872a2b6f488a0e3036e85c7755e5be0eac67952ed19113e4661d2f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mt2M+j0EDAj/SGBBsmBT1fGzMbUmmk8IIj/RyYkHnb60Hjh8PiurB4a9/dQDk8ZtqIbHjfOgTToPTWkElwpUCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T18:21:57.187905Z","bundle_sha256":"482ea3cc08e1741acf0a6135fc78f89dc74373a9e45d8d5c2365f574fced2770"}}