VLDB 2026 Research / reviewers in the wild / expert
Naïm Zénaïdi
dblp:275/8697
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 DecompositionsabstractWe 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 |
ISSAC | 3 |