{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:T4UUB3M6Q3DMAQAQWMP6MVCHAF","short_pith_number":"pith:T4UUB3M6","schema_version":"1.0","canonical_sha256":"9f2940ed9e86c6c04010b31fe654470173ec9540ecdf3e5e8a792b0a7f26bff4","source":{"kind":"arxiv","id":"1302.6401","version":1},"attestation_state":"computed","paper":{"title":"An implementation of CAD in Maple utilising McCallum projection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Matthew England","submitted_at":"2013-02-26T11:33:33Z","abstract_excerpt":"Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets. Originally introduced by Collins in the 1970s for use in quantifier elimination it has since found numerous applications within algebraic geometry and beyond. Following from his original work in 1988, McCallum presented an improved algorithm, CADW, which offered a huge increase in the practical utility of CAD. In 2009 a team based at the University of Western Ontario presented a new and quite separate algorithm for CAD, which was implemented and included in the computer algebra system M"},"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":"1302.6401","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-26T11:33:33Z","cross_cats_sorted":[],"title_canon_sha256":"18b1de1eecd7d46825f10a900918eae3a9d6fc834f59888fe77f9be4cd9534c7","abstract_canon_sha256":"31998d2c22a9f292011f6e3868bcb722b33fa0b45fe361ba5fb6f5bb13a23611"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:29.348483Z","signature_b64":"Wr/JKi/WWR8orDPeGbbL+VvELy66ZrzON+QAob4zIhUdiRGxV0JdDJsdiiA1RlHZldTIP+DcWzgrZd8VnonIAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f2940ed9e86c6c04010b31fe654470173ec9540ecdf3e5e8a792b0a7f26bff4","last_reissued_at":"2026-05-18T03:32:29.348017Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:29.348017Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An implementation of CAD in Maple utilising McCallum projection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Matthew England","submitted_at":"2013-02-26T11:33:33Z","abstract_excerpt":"Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets. Originally introduced by Collins in the 1970s for use in quantifier elimination it has since found numerous applications within algebraic geometry and beyond. Following from his original work in 1988, McCallum presented an improved algorithm, CADW, which offered a huge increase in the practical utility of CAD. In 2009 a team based at the University of Western Ontario presented a new and quite separate algorithm for CAD, which was implemented and included in the computer algebra system M"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.6401","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":"1302.6401","created_at":"2026-05-18T03:32:29.348078+00:00"},{"alias_kind":"arxiv_version","alias_value":"1302.6401v1","created_at":"2026-05-18T03:32:29.348078+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.6401","created_at":"2026-05-18T03:32:29.348078+00:00"},{"alias_kind":"pith_short_12","alias_value":"T4UUB3M6Q3DM","created_at":"2026-05-18T12:27:59.945178+00:00"},{"alias_kind":"pith_short_16","alias_value":"T4UUB3M6Q3DMAQAQ","created_at":"2026-05-18T12:27:59.945178+00:00"},{"alias_kind":"pith_short_8","alias_value":"T4UUB3M6","created_at":"2026-05-18T12:27:59.945178+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/T4UUB3M6Q3DMAQAQWMP6MVCHAF","json":"https://pith.science/pith/T4UUB3M6Q3DMAQAQWMP6MVCHAF.json","graph_json":"https://pith.science/api/pith-number/T4UUB3M6Q3DMAQAQWMP6MVCHAF/graph.json","events_json":"https://pith.science/api/pith-number/T4UUB3M6Q3DMAQAQWMP6MVCHAF/events.json","paper":"https://pith.science/paper/T4UUB3M6"},"agent_actions":{"view_html":"https://pith.science/pith/T4UUB3M6Q3DMAQAQWMP6MVCHAF","download_json":"https://pith.science/pith/T4UUB3M6Q3DMAQAQWMP6MVCHAF.json","view_paper":"https://pith.science/paper/T4UUB3M6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1302.6401&json=true","fetch_graph":"https://pith.science/api/pith-number/T4UUB3M6Q3DMAQAQWMP6MVCHAF/graph.json","fetch_events":"https://pith.science/api/pith-number/T4UUB3M6Q3DMAQAQWMP6MVCHAF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/T4UUB3M6Q3DMAQAQWMP6MVCHAF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/T4UUB3M6Q3DMAQAQWMP6MVCHAF/action/storage_attestation","attest_author":"https://pith.science/pith/T4UUB3M6Q3DMAQAQWMP6MVCHAF/action/author_attestation","sign_citation":"https://pith.science/pith/T4UUB3M6Q3DMAQAQWMP6MVCHAF/action/citation_signature","submit_replication":"https://pith.science/pith/T4UUB3M6Q3DMAQAQWMP6MVCHAF/action/replication_record"}},"created_at":"2026-05-18T03:32:29.348078+00:00","updated_at":"2026-05-18T03:32:29.348078+00:00"}