Naïm Zénaïdi

dblp:275/8697 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2027
0009-0005-5520-5147ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2027 Further results on minimal and minimum cylindrical algebraic decompositions
Lucas Michel, Pierre Mathonet, Naïm Zénaïdi
J. Symb. Comput.3
2024 On Minimal and Minimum Cylindrical Algebraic Decompositions
abstract
We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of <?TeX $\mathbb {R}^n$?> Math 1 . In this framework, a CAD <?TeX $\mathscr{C}$?> Math 2 is adapted to a given set S if S is a union of cells of <?TeX $\mathscr{C}$?> Math 3 . 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 elements in this poset.
Lucas Michel, Pierre Mathonet, Naïm Zénaïdi
ISSAC3