AN ADJACENCY ALGORITHM FOR CYLINDRICAL ALGEBRAIC DECOMPOSITIONS OF 3-DIMENSIONAL SPACE

被引:20
作者
ARNON, DS
COLLINS, GE
MCCALLUM, S
机构
[1] OHIO STATE UNIV,DEPT COMP & INFORMAT SCI,COLUMBUS,OH 43210
[2] AUSTRALIAN NATL UNIV,RES SCH PHYS SCI,CANBERRA,ACT 2601,AUSTRALIA
关键词
D O I
10.1016/S0747-7171(88)80011-7
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:163 / 187
页数:25
相关论文
共 16 条
[1]   CYLINDRICAL ALGEBRAIC DECOMPOSITION .2. AN ADJACENCY ALGORITHM FOR THE PLANE [J].
ARNON, DS ;
COLLINS, GE ;
MCCALLUM, S .
SIAM JOURNAL ON COMPUTING, 1984, 13 (04) :878-889
[2]   CYLINDRICAL ALGEBRAIC DECOMPOSITION .1. THE BASIC ALGORITHM [J].
ARNON, DS ;
COLLINS, GE ;
MCCALLUM, S .
SIAM JOURNAL ON COMPUTING, 1984, 13 (04) :865-877
[3]   A CLUSTER-BASED CYLINDRICAL ALGEBRAIC DECOMPOSITION ALGORITHM [J].
ARNON, DS .
JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) :189-212
[4]   CALCULATION OF MULTIVARIATE POLYNOMIAL RESULTANTS [J].
COLLINS, GE .
JOURNAL OF THE ACM, 1971, 18 (04) :515-&
[5]  
COLLINS GE, 1975, SPRINGER LECT NOTES, V33, P515
[6]  
COLLINS GE, 1982, COMPUTER ALGEBRA CS, V4, P83
[7]  
KALTOFEN E, 1982, COMPUTING S, V4, P95
[8]  
MASSEY W. S., 1978, HOMOLOGY COHOMOLOGY
[9]   AN IMPROVED PROJECTION OPERATION FOR CYLINDRICAL ALGEBRAIC DECOMPOSITION OF 3-DIMENSIONAL SPACE [J].
MCCALLUM, S .
JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) :141-161
[10]   ON APPROXIMATIONS AND INCIDENCE IN CYLINDRICAL ALGEBRAIC DECOMPOSITIONS [J].
PRILL, D .
SIAM JOURNAL ON COMPUTING, 1986, 15 (04) :972-993