Source author record

Naïm Zénaïdi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Discrete Mathematics Formal Languages and Automata Theory math.CO math.NT Symbolic Computation

Catalog footprint

Research overview

2works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Further results on Minimal and Minimum Cylindrical Algebraic Decompositions

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. We thus consider the set $\text{CAD}^r(\mathcal{F})$ of CADs of class $C^r$ ( $r \in \mathbb{N} \cup \{\infty, ω\}$ ) that are adapted to a finite family $\mathcal{F}$ of semi-algebraic sets of $\mathbb{R}^n$ , endowed with the refinement partial order and we study the existence of minimal and minimum element in $\text{CAD}^r(\mathcal{F})$ . We show that for every such $\mathcal{F}$ and every $\mathscr{C} \in \text{CAD}^r(\mathcal{F})$ , there is a minimal CAD of class $C^r$ adapted to $\mathcal{F}$ and smaller (i.e. coarser) than or equal to $\mathscr{C}$ . In dimension $n=1$ or $n=2$ , this result is strengthened by proving the existence of a minimum element in $\text{CAD}^r(\mathcal{F})$ . In contrast, for any $n \geq 3$ , we provide explicit examples of semi-algebraic sets whose associated poset of adapted CADs does not admit a minimum. We then introduce a reduction relation on $\text{CAD}^r(\mathcal{F})$ in order to define an algorithm for the computation of minimal CADs and we characterise those semi-algebraic sets $\mathcal{F}$ for which $\text{CAD}^r(\mathcal{F})$ has a minimum by means of confluence of the associated reduction system. We finally provide practical criteria for deciding if a semi-algebraic set does admit a minimum CAD and apply them to describe various concrete examples of semi-algebraic sets, along with their minimum CAD of class $C^r$ .

preprint2022arXiv

On digital sequences associated with Pascal's triangle

We consider the sequence of integers whose $n$ th term has base- $p$ expansion given by the $n$ th row of Pascal's triangle modulo $p$ (where $p$ is a prime number). We first present and generalize well-known relations concerning this sequence. Then, with the great help of Sloane's On-Line Encyclopedia of Integer Sequences, we show that it appears naturally as a subsequence of a $2$ -regular sequence. Its study provides interesting relations and surprisingly involves odious and evil numbers, Nim-sum and even Gray codes. Furthermore, we examine similar sequences emerging from prime numbers involving alternating sum-of-digits modulo~ $p$ . This note ends with a discussion about Pascal's pyramid involving trinomial coefficients.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.