تقرير
Regular cylindrical algebraic decomposition
العنوان: | Regular cylindrical algebraic decomposition |
---|---|
المؤلفون: | Davenport, J. H., Locatelli, A. F., Sankaran, G. K. |
سنة النشر: | 2018 |
المجموعة: | Computer Science Mathematics |
مصطلحات موضوعية: | Mathematics - Algebraic Geometry, Computer Science - Symbolic Computation, Mathematics - Algebraic Topology, 14P10, 57N99, 68W30 |
الوصف: | 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. |
نوع الوثيقة: | Working Paper |
DOI: | 10.1112/jlms.12257 |
URL الوصول: | http://arxiv.org/abs/1803.04029 |
رقم الأكسشن: | edsarx.1803.04029 |
قاعدة البيانات: | arXiv |
DOI: | 10.1112/jlms.12257 |
---|