Computing cylindrical algebraic decomposition via triangular decomposition | |
Chen, Changbo ; Maza, Marc Moreno ; Xia, Bican ; Yang, Lu | |
2009 | |
英文摘要 | Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches for manipulating constructible sets. In this paper, for an arbitrary finite set F ? [y1, . . . , yn] we apply comprehensive triangular decomposition in order to obtain an F-invariant cylindrical decomposition of the n-dimensional complex space, from which we extract an F-invariant cylindrical algebraic decomposition of the n-dimensional real space. We report on an implementation of this new approach for constructing cylindrical algebraic decompositions. Copyright 2009 ACM.; EI; 0 |
语种 | 英语 |
出处 | EI |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/327478] ![]() |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Chen, Changbo,Maza, Marc Moreno,Xia, Bican,et al. Computing cylindrical algebraic decomposition via triangular decomposition. 2009-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论