On Projective Delineability

Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Abraham, James H. Davenport, Matthew England

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

3 Downloads (Pure)

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 languageEnglish
Title of host publication2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
PublisherIEEE
Pages9-16
Number of pages8
ISBN (Electronic)979-8-3315-3283-3
ISBN (Print)979-8-3315-3284-0
DOIs
Publication statusE-pub ahead of print - 26 Feb 2025
Event26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
- Timișoara, Romania
Duration: 16 Sept 202419 Sept 2024
https://synasc.ro/2024/

Publication series

Name2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
PublisherIEEE
ISSN (Print)2470-8801
ISSN (Electronic)2470-881X

Conference

Conference26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Abbreviated titleSYNASC 2024
Country/TerritoryRomania
CityTimișoara
Period16/09/2419/09/24
Internet address

Keywords

  • Cylindrical Algebraic Decomposition
  • Non-linear Real Arithmetic
  • (Projective) Delineability

Fingerprint

Dive into the research topics of 'On Projective Delineability'. Together they form a unique fingerprint.

Cite this