Regular cylindrical algebraic decomposition

DOI10.1112/JLMS.12257MaRDI QIDQ5108140zbMATH OpenOpenAlexFDO

Authors A. F. Locatelli, James H. Davenport, G. K. Sankaran

Publication date 29 April 2020

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.04029

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Topological manifolds (57N99) PL-topology (57Q99) Symbolic computation and algebraic computation (68W30)

Abstract: We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set 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.

Recommendations

• Cylindrical algebraic decomposition using local projections
• Cylindrical algebraic decomposition using local projections
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• scientific article; zbMATH DE number 3921970
• scientific article; zbMATH DE number 3880114

Cites work

• h-cobordism and s-cobordism theorems: transfer over semialgebraic and Nash categories, uniform bound and effectiveness
• A Vietoris Mapping Theorem for Homotopy
• Algorithms in real algebraic geometry
• CAD and topology of semi-algebraic sets
• Cylindrical algebraic decomposition in the RegularChains library
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 3676806 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 3538541 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 863503 (Why is no real title available?)
• On Spaces Having the Homotopy Type of a CW-Complex
• On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
• Open non-uniform cylindrical algebraic decompositions
• Real quantifier elimination by computation of comprehensive Gröbner systems
• Semi-monotone sets
• Triangulations of monotone families. I: two-dimensional families
• Truth table invariant cylindrical algebraic decomposition

Cited in

(4)

• Interval arithmetic in cylindrical algebraic decomposition
• Constructing a single cell in cylindrical algebraic decomposition
• Simplification of Cylindrical Algebraic Formulas
• Further results on minimal and minimum cylindrical algebraic decompositions

This page was built for publication: Regular cylindrical algebraic decomposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5108140)