Cylindrical algebraic decomposition is a powerful algorithmic technique in semi-algebraic geometry. Nevertheless, there is a disparity between what algorithms output and what the abstract definition of a cylindrical algebraic decomposition allows. Some work has been done in trying to understand what the ideal class of cylindrical algebraic decom- positions should be — especially from a topological point of view. We prove a special case of a conjecture proposed by Lazard in [22]; the conjecture relates a special class of cylindrical algebraic decompositions to regular cell complexes. Moreover, we study the properties that define this special class of cell decompositions, as well as their implications for the actual topology of the cells that make up the cell decompositions.
| Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:687305 |
| Date | January 2016 |
| Creators | Locatelli, Acyr |
| Contributors | Sankaran, Gregory ; Davenport, James |
| Publisher | University of Bath |
| Source Sets | Ethos UK |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
Page generated in 0.0021 seconds