{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:JLBE3MXLL4LBNQ2UEXJZMJJRPU","short_pith_number":"pith:JLBE3MXL","schema_version":"1.0","canonical_sha256":"4ac24db2eb5f1616c35425d39625317d019ce9d063e30984d50cdbcff870d48e","source":{"kind":"arxiv","id":"1405.6090","version":1},"attestation_state":"computed","paper":{"title":"Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"David Wilson, James H. Davenport, Matthew England, Russell Bradford","submitted_at":"2014-05-23T15:05:37Z","abstract_excerpt":"Cylindrical algebraic decomposition (CAD) is an important tool, both for quantifier elimination over the reals and a range of other applications. Traditionally, a CAD is built through a process of projection and lifting to move the problem within Euclidean spaces of changing dimension. Recently, an alternative approach which first decomposes complex space using triangular decomposition before refining to real space has been introduced and implemented within the RegularChains Library of Maple. We here describe a freely available package ProjectionCAD which utilises the routines within the Regul"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1405.6090","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-23T15:05:37Z","cross_cats_sorted":[],"title_canon_sha256":"cb84a204702dba41cedfc8a823761734822b667a6eb1c85a76e86d156e7454d0","abstract_canon_sha256":"6f559e0314f986899d3be4c7ba9d5ca6710bf6d8357a4d47f6c8efd586211ce7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:08.174406Z","signature_b64":"jfR9Bn/jUfmPcPnKq/wd6BVdPlK1tnEOWvQ6M8/+5G6bCOQ0lzrH3Lel3QEER7gLGplzrDjVBrzyo6K1IA9dDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ac24db2eb5f1616c35425d39625317d019ce9d063e30984d50cdbcff870d48e","last_reissued_at":"2026-05-18T02:44:08.173949Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:08.173949Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"David Wilson, James H. Davenport, Matthew England, Russell Bradford","submitted_at":"2014-05-23T15:05:37Z","abstract_excerpt":"Cylindrical algebraic decomposition (CAD) is an important tool, both for quantifier elimination over the reals and a range of other applications. Traditionally, a CAD is built through a process of projection and lifting to move the problem within Euclidean spaces of changing dimension. Recently, an alternative approach which first decomposes complex space using triangular decomposition before refining to real space has been introduced and implemented within the RegularChains Library of Maple. We here describe a freely available package ProjectionCAD which utilises the routines within the Regul"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.6090","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1405.6090","created_at":"2026-05-18T02:44:08.174013+00:00"},{"alias_kind":"arxiv_version","alias_value":"1405.6090v1","created_at":"2026-05-18T02:44:08.174013+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.6090","created_at":"2026-05-18T02:44:08.174013+00:00"},{"alias_kind":"pith_short_12","alias_value":"JLBE3MXLL4LB","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_16","alias_value":"JLBE3MXLL4LBNQ2U","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_8","alias_value":"JLBE3MXL","created_at":"2026-05-18T12:28:33.132498+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JLBE3MXLL4LBNQ2UEXJZMJJRPU","json":"https://pith.science/pith/JLBE3MXLL4LBNQ2UEXJZMJJRPU.json","graph_json":"https://pith.science/api/pith-number/JLBE3MXLL4LBNQ2UEXJZMJJRPU/graph.json","events_json":"https://pith.science/api/pith-number/JLBE3MXLL4LBNQ2UEXJZMJJRPU/events.json","paper":"https://pith.science/paper/JLBE3MXL"},"agent_actions":{"view_html":"https://pith.science/pith/JLBE3MXLL4LBNQ2UEXJZMJJRPU","download_json":"https://pith.science/pith/JLBE3MXLL4LBNQ2UEXJZMJJRPU.json","view_paper":"https://pith.science/paper/JLBE3MXL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1405.6090&json=true","fetch_graph":"https://pith.science/api/pith-number/JLBE3MXLL4LBNQ2UEXJZMJJRPU/graph.json","fetch_events":"https://pith.science/api/pith-number/JLBE3MXLL4LBNQ2UEXJZMJJRPU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JLBE3MXLL4LBNQ2UEXJZMJJRPU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JLBE3MXLL4LBNQ2UEXJZMJJRPU/action/storage_attestation","attest_author":"https://pith.science/pith/JLBE3MXLL4LBNQ2UEXJZMJJRPU/action/author_attestation","sign_citation":"https://pith.science/pith/JLBE3MXLL4LBNQ2UEXJZMJJRPU/action/citation_signature","submit_replication":"https://pith.science/pith/JLBE3MXLL4LBNQ2UEXJZMJJRPU/action/replication_record"}},"created_at":"2026-05-18T02:44:08.174013+00:00","updated_at":"2026-05-18T02:44:08.174013+00:00"}