A CLUSTER-BASED CYLINDRICAL ALGEBRAIC DECOMPOSITION ALGORITHM

被引：17

作者：

ARNON, DS

机构：

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1988年 / 5卷 / 1-2期

关键词：

D O I：

10.1016/S0747-7171(88)80012-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：189 / 212

页数：24

相关论文

共 18 条

[1] Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st
[2] CYLINDRICAL ALGEBRAIC DECOMPOSITION .2. AN ADJACENCY ALGORITHM FOR THE PLANE
ARNON, DS
COLLINS, GE
MCCALLUM, S
[J]. SIAM JOURNAL ON COMPUTING, 1984, 13 (04) : 878 - 889
[3] A POLYNOMIAL-TIME ALGORITHM FOR THE TOPOLOGICAL TYPE OF A REAL ALGEBRAIC CURVE
ARNON, DS
MCCALLUM, S
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 213 - 236
[4] CYLINDRICAL ALGEBRAIC DECOMPOSITION .1. THE BASIC ALGORITHM
ARNON, DS
COLLINS, GE
MCCALLUM, S
[J]. SIAM JOURNAL ON COMPUTING, 1984, 13 (04) : 865 - 877
[5] AN ADJACENCY ALGORITHM FOR CYLINDRICAL ALGEBRAIC DECOMPOSITIONS OF 3-DIMENSIONAL SPACE
ARNON, DS
COLLINS, GE
MCCALLUM, S
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 163 - 187
[6] ON MECHANICAL QUANTIFIER ELIMINATION FOR ELEMENTARY ALGEBRA AND GEOMETRY
ARNON, DS
MIGNOTTE, M
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 237 - 259
[7] ARNON DS, 1988, IN PRESS GEOMETRIC R
[8] COLLINS GE, 1975, SPRINGER LECT NOTES, V33, P515
[9] KALTOFEN E, 1982, COMPUTING S, V4, P83
[10] AN IMPROVED PROJECTION OPERATION FOR CYLINDRICAL ALGEBRAIC DECOMPOSITION OF 3-DIMENSIONAL SPACE
MCCALLUM, S
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 141 - 161