2 citations · 2 across the 6 of their papers we have counts for
1 paper · 2 filters
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…