On Projective Delineability
Lucas Michel, Jasper Nalbach, Pierre Mathonet, Na\"im Z\'ena\"idi,, Christopher W. Brown, Erika \'Abrah\'am, James H. Davenport, Matthew England
TL;DR
This paper introduces the concept of projective delineability in cylindrical algebraic decomposition, providing theoretical results that enable more efficient CAD computations by simplifying the delineability conditions.
Contribution
It proposes the novel concept of projective delineability, offering a more computationally feasible approach to CAD delineability and reducing complexity.
Findings
Established theoretical foundations for projective delineability
Demonstrated potential for reduced CAD computations
Provided proofs supporting the new concept
Abstract
We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results about this which can allow reduced CAD computations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.