CORC  > 北京大学  > 数学科学学院
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.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace