Showing 1–1 of 1 results for author: Locatelli, A F

Regular cylindrical algebraic decomposition

Authors: J. H. Davenport, A. F. Locatelli, G. K. Sankaran

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 algebrai… ▽ More 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. △ Less

Submitted 11 March, 2018; originally announced March 2018.

MSC Class: 14P10; 57N99; 68W30