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
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1988年 / 5卷 / 1-2期
关键词：
D O I：
10.1016/S0747-7171(88)80011-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：163 / 187
页数：25
相关论文
共 50 条
12345