{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:O7UBCI7TXAYANZFCM7YW5X6OKI","short_pith_number":"pith:O7UBCI7T","canonical_record":{"source":{"id":"1805.10136","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-05-24T10:57:18Z","cross_cats_sorted":["cs.CG","math.AG"],"title_canon_sha256":"ee7a988abfe8dec6e27422fe42a352bca0d4d6b4ea66ce3ea2b0d64f128f7cf7","abstract_canon_sha256":"2c1c43615e8d4aad771f9d4f05639417be81a4233c9d5912310301f7e727d903"},"schema_version":"1.0"},"canonical_sha256":"77e81123f3b83006e4a267f16edfce52386f6c7aadfefacd5ecabb4074667167","source":{"kind":"arxiv","id":"1805.10136","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.10136","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"arxiv_version","alias_value":"1805.10136v1","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.10136","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"pith_short_12","alias_value":"O7UBCI7TXAYA","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"O7UBCI7TXAYANZFC","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"O7UBCI7T","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:O7UBCI7TXAYANZFCM7YW5X6OKI","target":"record","payload":{"canonical_record":{"source":{"id":"1805.10136","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-05-24T10:57:18Z","cross_cats_sorted":["cs.CG","math.AG"],"title_canon_sha256":"ee7a988abfe8dec6e27422fe42a352bca0d4d6b4ea66ce3ea2b0d64f128f7cf7","abstract_canon_sha256":"2c1c43615e8d4aad771f9d4f05639417be81a4233c9d5912310301f7e727d903"},"schema_version":"1.0"},"canonical_sha256":"77e81123f3b83006e4a267f16edfce52386f6c7aadfefacd5ecabb4074667167","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:53.210975Z","signature_b64":"W81eqPygOEV3dPlmXBgId2wuQaYrGrlDCCkjn8/FHUCPDBKxuFzatNAU4jirBNV1yccSdbeUld5/Cps//6QIBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77e81123f3b83006e4a267f16edfce52386f6c7aadfefacd5ecabb4074667167","last_reissued_at":"2026-05-18T00:01:53.210550Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:53.210550Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.10136","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-18T00:01:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l2zDHwcY11x6u8t+dpiu7uMLGTraNrw9LHofyvDvyFUXIRqpDVSoBGqCWQ83D3fj1AMoMC6p1KPD7NPlywfwAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:38:45.075300Z"},"content_sha256":"9adb866ac547d8ea02d8913338e9a08d6733cd9214626cb8906351049e24e5ca","schema_version":"1.0","event_id":"sha256:9adb866ac547d8ea02d8913338e9a08d6733cd9214626cb8906351049e24e5ca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:O7UBCI7TXAYANZFCM7YW5X6OKI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Incremental Cylindrical Algebraic Decomposition in Maple","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG","math.AG"],"primary_cat":"cs.SC","authors_text":"Alexander Imani Cowen-Rivers, Matthew England","submitted_at":"2018-05-24T10:57:18Z","abstract_excerpt":"Cylindrical Algebraic Decomposition (CAD) is an important tool within computational real algebraic geometry, capable of solving many problems for polynomial systems over the reals. It has long been studied by the Symbolic Computation community and has found recent interest in the Satisfiability Checking community. The present report describes a proof of concept implementation of an Incremental CAD algorithm in Maple, where CADs are built and then refined as additional polynomial constraints are added. The aim is to make CAD suitable for use as a theory solver for SMT tools who search for solut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.10136","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-18T00:01:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q0vsafU9i8EJW49OJXVcFYBKYRnfj+zUjGrm3StoVFFYsQ2fXF6I4TfbuSADxCsYfW4f6gTBXLMJGPUGedu9Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:38:45.075722Z"},"content_sha256":"24de8389db134118a36fc8fa83636f848aa0e6941a041d542253372d1e2cb9af","schema_version":"1.0","event_id":"sha256:24de8389db134118a36fc8fa83636f848aa0e6941a041d542253372d1e2cb9af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O7UBCI7TXAYANZFCM7YW5X6OKI/bundle.json","state_url":"https://pith.science/pith/O7UBCI7TXAYANZFCM7YW5X6OKI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O7UBCI7TXAYANZFCM7YW5X6OKI/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-01T21:38:45Z","links":{"resolver":"https://pith.science/pith/O7UBCI7TXAYANZFCM7YW5X6OKI","bundle":"https://pith.science/pith/O7UBCI7TXAYANZFCM7YW5X6OKI/bundle.json","state":"https://pith.science/pith/O7UBCI7TXAYANZFCM7YW5X6OKI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O7UBCI7TXAYANZFCM7YW5X6OKI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:O7UBCI7TXAYANZFCM7YW5X6OKI","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":"2c1c43615e8d4aad771f9d4f05639417be81a4233c9d5912310301f7e727d903","cross_cats_sorted":["cs.CG","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-05-24T10:57:18Z","title_canon_sha256":"ee7a988abfe8dec6e27422fe42a352bca0d4d6b4ea66ce3ea2b0d64f128f7cf7"},"schema_version":"1.0","source":{"id":"1805.10136","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.10136","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"arxiv_version","alias_value":"1805.10136v1","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.10136","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"pith_short_12","alias_value":"O7UBCI7TXAYA","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"O7UBCI7TXAYANZFC","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"O7UBCI7T","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:24de8389db134118a36fc8fa83636f848aa0e6941a041d542253372d1e2cb9af","target":"graph","created_at":"2026-05-18T00:01:53Z","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":"Cylindrical Algebraic Decomposition (CAD) is an important tool within computational real algebraic geometry, capable of solving many problems for polynomial systems over the reals. It has long been studied by the Symbolic Computation community and has found recent interest in the Satisfiability Checking community. The present report describes a proof of concept implementation of an Incremental CAD algorithm in Maple, where CADs are built and then refined as additional polynomial constraints are added. The aim is to make CAD suitable for use as a theory solver for SMT tools who search for solut","authors_text":"Alexander Imani Cowen-Rivers, Matthew England","cross_cats":["cs.CG","math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-05-24T10:57:18Z","title":"Towards Incremental Cylindrical Algebraic Decomposition in Maple"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.10136","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:9adb866ac547d8ea02d8913338e9a08d6733cd9214626cb8906351049e24e5ca","target":"record","created_at":"2026-05-18T00:01:53Z","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":"2c1c43615e8d4aad771f9d4f05639417be81a4233c9d5912310301f7e727d903","cross_cats_sorted":["cs.CG","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-05-24T10:57:18Z","title_canon_sha256":"ee7a988abfe8dec6e27422fe42a352bca0d4d6b4ea66ce3ea2b0d64f128f7cf7"},"schema_version":"1.0","source":{"id":"1805.10136","kind":"arxiv","version":1}},"canonical_sha256":"77e81123f3b83006e4a267f16edfce52386f6c7aadfefacd5ecabb4074667167","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77e81123f3b83006e4a267f16edfce52386f6c7aadfefacd5ecabb4074667167","first_computed_at":"2026-05-18T00:01:53.210550Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:53.210550Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W81eqPygOEV3dPlmXBgId2wuQaYrGrlDCCkjn8/FHUCPDBKxuFzatNAU4jirBNV1yccSdbeUld5/Cps//6QIBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:53.210975Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.10136","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9adb866ac547d8ea02d8913338e9a08d6733cd9214626cb8906351049e24e5ca","sha256:24de8389db134118a36fc8fa83636f848aa0e6941a041d542253372d1e2cb9af"],"state_sha256":"4885cf81eb187b13250d92dfb6e9be5afd5244cf3632797da7cba47838e58386"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8EoS5hPLNkgaiZhVFgSyEeNzBjTUdJpoaU+m4Xq+aH7lhHylky480y3YF9+lR4fwqz6plVSzKpkM6I4QQBOTDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:38:45.077812Z","bundle_sha256":"1c157d87d89ba6e986a802848995313bd9bfb60008170729784ad03512067f42"}}