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 | Proceedings of the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing |
| Pages | (In-Press) |
| Volume | (In-Press) |
| Publication status | Accepted/In press - 31 Jul 2024 |
| 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/ |
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 |