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…