{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:L7C47TAS4NHJRWR2SIRNALSN4K","short_pith_number":"pith:L7C47TAS","schema_version":"1.0","canonical_sha256":"5fc5cfcc12e34e98da3a9222d02e4de2897fe19c0cf9271cbbed0477613de7b2","source":{"kind":"arxiv","id":"2411.13218","version":1},"attestation_state":"computed","paper":{"title":"On Minimal and Minimum Cylindrical Algebraic Decompositions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Lucas Michel, Na\\\"im Z\\'ena\\\"idi, Pierre Mathonet","submitted_at":"2024-11-20T11:24:49Z","abstract_excerpt":"We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of $\\mathbb{R}^n$. In this framework, a CAD $\\mathscr{C}$ is adapted to a given set $S$ if $S$ is a union of cells of $\\mathscr{C}$. Different algorithms computing an adapted CAD may produce different outputs, usually with redundant cell divisions. In this paper we analyse the possibility to remove the superfluous data. More precisely we consider the set CAD$(S)$ of CADs that are adapted to $S$, endowed with the refinement partial order and we study the existence of minimal and minimum ele"},"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":"2411.13218","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2024-11-20T11:24:49Z","cross_cats_sorted":[],"title_canon_sha256":"6c4aca7e6b244affd0263e966ea0f2c10fbe4fcccd0da90fa6fa906bf967267f","abstract_canon_sha256":"afb19fe15aea6fb56fdb8a7a19ff5ce2a5decacb1b498e1baef542e5901013cf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:38:06.772385Z","signature_b64":"JBktkNy9rbRM+xPMbqCiDdAMJP0/THtcv78pzl3Tb/8noyuLErX7JlRZuDlVL+0Hyh3fnM/ZegCoiyEOUUjIBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5fc5cfcc12e34e98da3a9222d02e4de2897fe19c0cf9271cbbed0477613de7b2","last_reissued_at":"2026-07-05T09:38:06.771981Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:38:06.771981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Minimal and Minimum Cylindrical Algebraic Decompositions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Lucas Michel, Na\\\"im Z\\'ena\\\"idi, Pierre Mathonet","submitted_at":"2024-11-20T11:24:49Z","abstract_excerpt":"We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of $\\mathbb{R}^n$. In this framework, a CAD $\\mathscr{C}$ is adapted to a given set $S$ if $S$ is a union of cells of $\\mathscr{C}$. Different algorithms computing an adapted CAD may produce different outputs, usually with redundant cell divisions. In this paper we analyse the possibility to remove the superfluous data. More precisely we consider the set CAD$(S)$ of CADs that are adapted to $S$, endowed with the refinement partial order and we study the existence of minimal and minimum ele"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.13218","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2411.13218/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2411.13218","created_at":"2026-07-05T09:38:06.772046+00:00"},{"alias_kind":"arxiv_version","alias_value":"2411.13218v1","created_at":"2026-07-05T09:38:06.772046+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.13218","created_at":"2026-07-05T09:38:06.772046+00:00"},{"alias_kind":"pith_short_12","alias_value":"L7C47TAS4NHJ","created_at":"2026-07-05T09:38:06.772046+00:00"},{"alias_kind":"pith_short_16","alias_value":"L7C47TAS4NHJRWR2","created_at":"2026-07-05T09:38:06.772046+00:00"},{"alias_kind":"pith_short_8","alias_value":"L7C47TAS","created_at":"2026-07-05T09:38:06.772046+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/L7C47TAS4NHJRWR2SIRNALSN4K","json":"https://pith.science/pith/L7C47TAS4NHJRWR2SIRNALSN4K.json","graph_json":"https://pith.science/api/pith-number/L7C47TAS4NHJRWR2SIRNALSN4K/graph.json","events_json":"https://pith.science/api/pith-number/L7C47TAS4NHJRWR2SIRNALSN4K/events.json","paper":"https://pith.science/paper/L7C47TAS"},"agent_actions":{"view_html":"https://pith.science/pith/L7C47TAS4NHJRWR2SIRNALSN4K","download_json":"https://pith.science/pith/L7C47TAS4NHJRWR2SIRNALSN4K.json","view_paper":"https://pith.science/paper/L7C47TAS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2411.13218&json=true","fetch_graph":"https://pith.science/api/pith-number/L7C47TAS4NHJRWR2SIRNALSN4K/graph.json","fetch_events":"https://pith.science/api/pith-number/L7C47TAS4NHJRWR2SIRNALSN4K/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/L7C47TAS4NHJRWR2SIRNALSN4K/action/timestamp_anchor","attest_storage":"https://pith.science/pith/L7C47TAS4NHJRWR2SIRNALSN4K/action/storage_attestation","attest_author":"https://pith.science/pith/L7C47TAS4NHJRWR2SIRNALSN4K/action/author_attestation","sign_citation":"https://pith.science/pith/L7C47TAS4NHJRWR2SIRNALSN4K/action/citation_signature","submit_replication":"https://pith.science/pith/L7C47TAS4NHJRWR2SIRNALSN4K/action/replication_record"}},"created_at":"2026-07-05T09:38:06.772046+00:00","updated_at":"2026-07-05T09:38:06.772046+00:00"}