On Projective Delineability
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.
Authors
- Pierre Mathonet (ORCID: https://orcid.org/0000-0001-9199-8643)
- Jasper Nalbach (ORCID: https://orcid.org/0000-0002-2641-1380)
- Naïm Zénaïdi (ORCID: https://orcid.org/0009-0005-5520-5147)
- James H. Davenport (ORCID: https://orcid.org/0000-0002-3982-7545)
- Matthew England (ORCID: https://orcid.org/0000-0001-5729-3420)
- Christopher W. Brown (ORCID: https://orcid.org/0000-0001-8334-0980)
- Lucas Michel (ORCID: https://orcid.org/0000-0002-4115-7296)
- E Abrahám
Institutions
- United States Naval Academy (US)
- University of Bath (GB)
- Coventry University (GB)
- RWTH Aachen University (DE)
Publication Details
- Published
- 2024-09-16
- DOI
- https://doi.org/10.1109/synasc65383.2024.00015
- Primary Topic
- Advanced Numerical Analysis Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- European Cooperation in Science and Technology
- Deutsche Forschungsgemeinschaft
- Engineering and Physical Sciences Research Council