Regular cylindrical algebraic decomposition

Research output: Contribution to journalArticle

19 Downloads (Pure)

Abstract

We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set S is a regular cell decomposition, in any dimension and independently of the method by which P is constructed. Being well-based is a global condition on P that holds for the output of many widely used algorithms. We also show the same for S of dimension at most 3 and P a strong cylindrical algebraic decomposition that is locally boundary simply connected: this is a purely local extra condition.

Original languageEnglish
Pages (from-to)43-59
Number of pages17
JournalJournal of the London Mathematical Society
Volume101
Issue number1
Early online date29 Jul 2019
DOIs
Publication statusPublished - 25 Feb 2020

Keywords

  • 14P10 (primary)
  • 57N99
  • 68W30 (secondary)

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Regular cylindrical algebraic decomposition'. Together they form a unique fingerprint.

Cite this