On Minimal and Minimum Cylindrical Algebraic Decompositions

Lucas Michel, Pierre Mathonet, Naïm Zénaïdi

We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of ${\mathbb{R}}^n$. In this framework, a CAD $\mathcal{C}$ is adapted to a…