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 |
Funding
P. Mathonet, L. Michel and N. Zena\u00EFdi are supported by the FNRS-DFG PDR Weaves (SMT-ART) grant 40019202. E. \u00C1brah\u00E1m and J. Nalbach are supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) as part of AB 461/9-1 SMT-ART. J. Nalbach is supported by the DFG as part of RTG 2236 UnRAVeL. M. England and J. Davenport are supported by the UKRI EPSRC DEWCAD Project (grant EP/T015748/1 and EP/T015713/1 respectively). J. Davenport is funded by the DFG under Germany s Excellence Strategy (EXC-2047/1 390685813). This publication is based upon work from COST Action EuroProofNet, supported by COST (European Cooperation in Science and Technology, www.cost.eu)
| Funders | Funder number |
|---|---|
| The COST Association | |
| Deutsche Forschungsgemeinschaft | RTG 2236 UnRAVeL |
| Economic and Social Research Council | EP/T015713/1, EXC-2047/1 390685813, EP/T015748/1 |
Keywords
- Cylindrical Algebraic Decomposition
- Non-linear Real Arithmetic
- (Projective) Delineability