On Projective Delineability
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915176236711936 |
|---|---|
| author | Michel, Lucas Nalbach, Jasper Mathonet, Pierre Zénaïdi, Naïm Brown, Christopher W. Ábrahám, Erika Davenport, James H. England, Matthew |
| author_facet | Michel, Lucas Nalbach, Jasper Mathonet, Pierre Zénaïdi, Naïm Brown, Christopher W. Ábrahám, Erika Davenport, James H. England, Matthew |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_13300 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On Projective Delineability Michel, Lucas Nalbach, Jasper Mathonet, Pierre Zénaïdi, Naïm Brown, Christopher W. Ábrahám, Erika Davenport, James H. England, Matthew Algebraic Geometry Symbolic Computation 14Q20, 14Q30 I.1.0 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. |
| title | On Projective Delineability |
| topic | Algebraic Geometry Symbolic Computation 14Q20, 14Q30 I.1.0 |
| url | https://arxiv.org/abs/2411.13300 |