{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:KLS2DVHTWOYNLWXRIZ3YSPBGPT","short_pith_number":"pith:KLS2DVHT","schema_version":"1.0","canonical_sha256":"52e5a1d4f3b3b0d5daf14677893c267cd781c99554daff50d22fb71fe9856ef8","source":{"kind":"arxiv","id":"1409.1781","version":1},"attestation_state":"computed","paper":{"title":"Using the distribution of cells by dimension in a cylindrical algebraic decomposition","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-09-05T13:11:17Z","abstract_excerpt":"We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which seems largely independent of the underlying problem or CAD algorithm used. Rather, the distribution is inherent to the cylindrical structure and determined mostly by the number of variables.\n  This insight is then combined with an algorithm that produces only full-dimensional cells to give an accurate method of predicting the number of cells in a complete CAD. Since constructing only full-dimensional cells is relatively inexpensive (involv"},"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":"1409.1781","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-09-05T13:11:17Z","cross_cats_sorted":[],"title_canon_sha256":"2782f9150acbc2e72e2af7374b97d4172c1da63b3343b625282b0e98d388ae4c","abstract_canon_sha256":"c7c7487531efee9c0121c7441863f22c5212a70493b05c1a95e19b6ef2ef3f6f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:18.379566Z","signature_b64":"GV0ihuJklBrJRQ5k3dohO3saxiS3nqE0MPq7Hu6fTt2XBxyWntQzW+ElgukmPyGPVzpyGp9RM9D/dntHBPz/DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"52e5a1d4f3b3b0d5daf14677893c267cd781c99554daff50d22fb71fe9856ef8","last_reissued_at":"2026-05-18T02:27:18.378837Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:18.378837Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Using the distribution of cells by dimension in a cylindrical algebraic decomposition","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-09-05T13:11:17Z","abstract_excerpt":"We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which seems largely independent of the underlying problem or CAD algorithm used. Rather, the distribution is inherent to the cylindrical structure and determined mostly by the number of variables.\n  This insight is then combined with an algorithm that produces only full-dimensional cells to give an accurate method of predicting the number of cells in a complete CAD. Since constructing only full-dimensional cells is relatively inexpensive (involv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.1781","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":"1409.1781","created_at":"2026-05-18T02:27:18.378947+00:00"},{"alias_kind":"arxiv_version","alias_value":"1409.1781v1","created_at":"2026-05-18T02:27:18.378947+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.1781","created_at":"2026-05-18T02:27:18.378947+00:00"},{"alias_kind":"pith_short_12","alias_value":"KLS2DVHTWOYN","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_16","alias_value":"KLS2DVHTWOYNLWXR","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_8","alias_value":"KLS2DVHT","created_at":"2026-05-18T12:28:35.611951+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/KLS2DVHTWOYNLWXRIZ3YSPBGPT","json":"https://pith.science/pith/KLS2DVHTWOYNLWXRIZ3YSPBGPT.json","graph_json":"https://pith.science/api/pith-number/KLS2DVHTWOYNLWXRIZ3YSPBGPT/graph.json","events_json":"https://pith.science/api/pith-number/KLS2DVHTWOYNLWXRIZ3YSPBGPT/events.json","paper":"https://pith.science/paper/KLS2DVHT"},"agent_actions":{"view_html":"https://pith.science/pith/KLS2DVHTWOYNLWXRIZ3YSPBGPT","download_json":"https://pith.science/pith/KLS2DVHTWOYNLWXRIZ3YSPBGPT.json","view_paper":"https://pith.science/paper/KLS2DVHT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1409.1781&json=true","fetch_graph":"https://pith.science/api/pith-number/KLS2DVHTWOYNLWXRIZ3YSPBGPT/graph.json","fetch_events":"https://pith.science/api/pith-number/KLS2DVHTWOYNLWXRIZ3YSPBGPT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KLS2DVHTWOYNLWXRIZ3YSPBGPT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KLS2DVHTWOYNLWXRIZ3YSPBGPT/action/storage_attestation","attest_author":"https://pith.science/pith/KLS2DVHTWOYNLWXRIZ3YSPBGPT/action/author_attestation","sign_citation":"https://pith.science/pith/KLS2DVHTWOYNLWXRIZ3YSPBGPT/action/citation_signature","submit_replication":"https://pith.science/pith/KLS2DVHTWOYNLWXRIZ3YSPBGPT/action/replication_record"}},"created_at":"2026-05-18T02:27:18.378947+00:00","updated_at":"2026-05-18T02:27:18.378947+00:00"}