تقرير
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 |
|---|