5 papers
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…
Newton series representation of completely monotone functions
Thomas Lamby, Jean-Luc Marichal, Naïm Zenaïdi
We prove that every completely monotone function defined on a right-unbounded open interval admits a Newton series expansion at every point of that interval. This result can be vie…
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 Projective Delineability
Lucas Michel, Jasper Nalbach, Pierre Mathonet +5
We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability wh…
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…