Regular cylindrical algebraic decomposition

DOI10.1112/jlms.12257zbMath1454.14136arXiv1803.04029OpenAlexW2789755596MaRDI QIDQ5108140

A. F. Locatelli, Gregory Sankaran, James H. Davenport

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(h\)-cobordism and \(s\)-cobordism theorems: transfer over semialgebraic and Nash categories, uniform bound and effectiveness
• CAD and topology of semi-algebraic sets
• On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
• Semi-monotone sets
• Open Non-uniform Cylindrical Algebraic Decompositions
• Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems
• Cylindrical Algebraic Decomposition in the RegularChains Library
• On Spaces Having the Homotopy Type of a CW-Complex
• A Vietoris Mapping Theorem for Homotopy
• Triangulations of monotone families I: two-dimensional families
• Algorithms in real algebraic geometry
• Truth table invariant cylindrical algebraic decomposition