Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.687305
Title: On the regularity of cylindrical algebraic decompositions
Author: Locatelli, Acyr
ISNI:       0000 0004 5923 1874
Awarding Body: University of Bath
Current Institution: University of Bath
Date of Award: 2015
Availability of Full Text:
Access through EThOS:
Access through Institution:
Abstract:
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.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.687305  DOI: Not available
Share: