{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:ZKL5L4SH3FTW2K22FUWIVRSOAA","short_pith_number":"pith:ZKL5L4SH","canonical_record":{"source":{"id":"1507.03834","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-07-14T13:08:14Z","cross_cats_sorted":[],"title_canon_sha256":"9822461ac8dc821089fa8a55c81f6576bb0ce2e681fc567ce0eb52ae57ff532e","abstract_canon_sha256":"c1c62db953e5117bd35679febb2e123d3e54d63485e1e02f4f1a3cae04e4178c"},"schema_version":"1.0"},"canonical_sha256":"ca97d5f247d9676d2b5a2d2c8ac64e00024fe7ad75bb70f73ff260b0c32fe48b","source":{"kind":"arxiv","id":"1507.03834","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03834","created_at":"2026-05-17T23:50:07Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03834v3","created_at":"2026-05-17T23:50:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03834","created_at":"2026-05-17T23:50:07Z"},{"alias_kind":"pith_short_12","alias_value":"ZKL5L4SH3FTW","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZKL5L4SH3FTW2K22","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZKL5L4SH","created_at":"2026-05-18T12:29:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:ZKL5L4SH3FTW2K22FUWIVRSOAA","target":"record","payload":{"canonical_record":{"source":{"id":"1507.03834","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-07-14T13:08:14Z","cross_cats_sorted":[],"title_canon_sha256":"9822461ac8dc821089fa8a55c81f6576bb0ce2e681fc567ce0eb52ae57ff532e","abstract_canon_sha256":"c1c62db953e5117bd35679febb2e123d3e54d63485e1e02f4f1a3cae04e4178c"},"schema_version":"1.0"},"canonical_sha256":"ca97d5f247d9676d2b5a2d2c8ac64e00024fe7ad75bb70f73ff260b0c32fe48b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:50:07.728344Z","signature_b64":"o1QY9JnpWtDyFXXCEWrY6/MtuzS3et+nY81sQYiXapMFz9ekg9iyAfQio8s6vvF6PaRUN/aw/BMnLOgDgWBVBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca97d5f247d9676d2b5a2d2c8ac64e00024fe7ad75bb70f73ff260b0c32fe48b","last_reissued_at":"2026-05-17T23:50:07.727667Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:50:07.727667Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.03834","source_version":3,"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-17T23:50:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e5eGb3sf8MVtWCLZGFZLN2Jf8UuZGaIG0hPJ5e6iHYCmpmWC5pzc0uwNyGXtMHFv+KSxRblFnFEEdRoCtZlEAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T06:22:39.868641Z"},"content_sha256":"bf084a86942df9ff7cadbe019989f04969205ed9b4297f57cb610fff3cbfa649","schema_version":"1.0","event_id":"sha256:bf084a86942df9ff7cadbe019989f04969205ed9b4297f57cb610fff3cbfa649"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:ZKL5L4SH3FTW2K22FUWIVRSOAA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Open Weak CAD and its Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Bican Xia, Hoon Hong, Jingjun Han, Liyun Dai","submitted_at":"2015-07-14T13:08:14Z","abstract_excerpt":"The concept of open weak CAD is introduced. Every open CAD is an open weak CAD. On the contrary, an open weak CAD is not necessarily an open CAD. An algorithm for computing projection polynomials of open weak CADs is proposed. The key idea is to compute the intersection of projection factor sets produced by different projection orders. The resulting open weak CAD often has smaller number of sample points than open CADs. The algorithm can be used for computing sample points for all open connected components of $ f\\neq0$ for a given polynomial $f$. It can also be used for many other applications"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03834","kind":"arxiv","version":3},"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-17T23:50:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J7xNskOuM/1LJeXsi/bytoW52atAALw2twavR+NDnCHRvxKVDI9e7mUVSzn2GSVbrcwmTsdojFcVcsPmFgc8DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T06:22:39.869020Z"},"content_sha256":"2e905f80832dbb46d63fbd2000d5366be347520c4d74a246f8281f35047ac71a","schema_version":"1.0","event_id":"sha256:2e905f80832dbb46d63fbd2000d5366be347520c4d74a246f8281f35047ac71a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZKL5L4SH3FTW2K22FUWIVRSOAA/bundle.json","state_url":"https://pith.science/pith/ZKL5L4SH3FTW2K22FUWIVRSOAA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZKL5L4SH3FTW2K22FUWIVRSOAA/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-19T06:22:39Z","links":{"resolver":"https://pith.science/pith/ZKL5L4SH3FTW2K22FUWIVRSOAA","bundle":"https://pith.science/pith/ZKL5L4SH3FTW2K22FUWIVRSOAA/bundle.json","state":"https://pith.science/pith/ZKL5L4SH3FTW2K22FUWIVRSOAA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZKL5L4SH3FTW2K22FUWIVRSOAA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ZKL5L4SH3FTW2K22FUWIVRSOAA","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":"c1c62db953e5117bd35679febb2e123d3e54d63485e1e02f4f1a3cae04e4178c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-07-14T13:08:14Z","title_canon_sha256":"9822461ac8dc821089fa8a55c81f6576bb0ce2e681fc567ce0eb52ae57ff532e"},"schema_version":"1.0","source":{"id":"1507.03834","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03834","created_at":"2026-05-17T23:50:07Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03834v3","created_at":"2026-05-17T23:50:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03834","created_at":"2026-05-17T23:50:07Z"},{"alias_kind":"pith_short_12","alias_value":"ZKL5L4SH3FTW","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZKL5L4SH3FTW2K22","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZKL5L4SH","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:2e905f80832dbb46d63fbd2000d5366be347520c4d74a246f8281f35047ac71a","target":"graph","created_at":"2026-05-17T23:50:07Z","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":"The concept of open weak CAD is introduced. Every open CAD is an open weak CAD. On the contrary, an open weak CAD is not necessarily an open CAD. An algorithm for computing projection polynomials of open weak CADs is proposed. The key idea is to compute the intersection of projection factor sets produced by different projection orders. The resulting open weak CAD often has smaller number of sample points than open CADs. The algorithm can be used for computing sample points for all open connected components of $ f\\neq0$ for a given polynomial $f$. It can also be used for many other applications","authors_text":"Bican Xia, Hoon Hong, Jingjun Han, Liyun Dai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-07-14T13:08:14Z","title":"Open Weak CAD and its Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03834","kind":"arxiv","version":3},"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:bf084a86942df9ff7cadbe019989f04969205ed9b4297f57cb610fff3cbfa649","target":"record","created_at":"2026-05-17T23:50:07Z","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":"c1c62db953e5117bd35679febb2e123d3e54d63485e1e02f4f1a3cae04e4178c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-07-14T13:08:14Z","title_canon_sha256":"9822461ac8dc821089fa8a55c81f6576bb0ce2e681fc567ce0eb52ae57ff532e"},"schema_version":"1.0","source":{"id":"1507.03834","kind":"arxiv","version":3}},"canonical_sha256":"ca97d5f247d9676d2b5a2d2c8ac64e00024fe7ad75bb70f73ff260b0c32fe48b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca97d5f247d9676d2b5a2d2c8ac64e00024fe7ad75bb70f73ff260b0c32fe48b","first_computed_at":"2026-05-17T23:50:07.727667Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:50:07.727667Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"o1QY9JnpWtDyFXXCEWrY6/MtuzS3et+nY81sQYiXapMFz9ekg9iyAfQio8s6vvF6PaRUN/aw/BMnLOgDgWBVBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:50:07.728344Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.03834","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf084a86942df9ff7cadbe019989f04969205ed9b4297f57cb610fff3cbfa649","sha256:2e905f80832dbb46d63fbd2000d5366be347520c4d74a246f8281f35047ac71a"],"state_sha256":"f0acefb20945aabb31500d3bf1549b1aba5c461a7c280888fa93a739e5449239"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MhnG1mDMBaL6WSPFCaJB09Sxsgah12sExiJEmkV4KgBWm5kxBBoea85rlHpZW+oghw6m7TIMvUrQTP3F1WGVBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T06:22:39.871113Z","bundle_sha256":"8dbebfc2dd1ff22fc23bf4aa9f763c7318a21c901582fccd6489b0f57eb17330"}}