2 citations · 2 across the 6 of their papers we have counts for
4 papers · 1 filter
On Minimum CADs for Algebraic Sets in Dimension Three
Lucas Michel
Cylindrical Algebraic Decomposition (CAD) algorithms typically produce a decomposition adapted to a finite family of semi-algebraic sets (i.e. every member of $\mathc…
Further results 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 . In this framework, a CAD is adapted to a…
Projective Delineability for Single Cell Construction
Jasper Nalbach, Lucas Michel, Erika Ábrahám +5
The cylindrical algebraic decomposition (CAD) is the only complete method used in practice for solving problems like quantifier elimination or SMT solving related to real algebra,…
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 . In this framework, a CAD is adapted to a…