Abstract
We are concerned with Cylindrical Algebraic Decomposition (CAD) and the key concept of delineability which underpins much CAD theory. We introduce a novel concept of projective delineability: a condition that is weaker and easier to guarantee computationally. We prove results on this new concept which can be used to reduce CAD computations.
Original language | English |
---|---|
Title of host publication | 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) |
Publisher | IEEE |
Pages | 9-16 |
Number of pages | 8 |
ISBN (Electronic) | 979-8-3315-3283-3 |
ISBN (Print) | 979-8-3315-3284-0 |
DOIs | |
Publication status | E-pub ahead of print - 26 Feb 2025 |
Event | 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timișoara, Romania Duration: 16 Sept 2024 → 19 Sept 2024 https://synasc.ro/2024/ |
Publication series
Name | 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) |
---|---|
Publisher | IEEE |
ISSN (Print) | 2470-8801 |
ISSN (Electronic) | 2470-881X |
Conference
Conference | 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing |
---|---|
Abbreviated title | SYNASC 2024 |
Country/Territory | Romania |
City | Timișoara |
Period | 16/09/24 → 19/09/24 |
Internet address |
Keywords
- Cylindrical Algebraic Decomposition
- Non-linear Real Arithmetic
- (Projective) Delineability