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 [J].

ARNON, DS ;

COLLINS, GE ;

MCCALLUM, S .

SIAM JOURNAL ON COMPUTING, 1984, 13 (04) :878-889

[3] A POLYNOMIAL-TIME ALGORITHM FOR THE TOPOLOGICAL TYPE OF A REAL ALGEBRAIC CURVE [J].

ARNON, DS ;

MCCALLUM, S .

JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) :213-236

[4] CYLINDRICAL ALGEBRAIC DECOMPOSITION .1. THE BASIC ALGORITHM [J].

ARNON, DS ;

COLLINS, GE ;

MCCALLUM, S .

SIAM JOURNAL ON COMPUTING, 1984, 13 (04) :865-877

[5] AN ADJACENCY ALGORITHM FOR CYLINDRICAL ALGEBRAIC DECOMPOSITIONS OF 3-DIMENSIONAL SPACE [J].

ARNON, DS ;

COLLINS, GE ;

MCCALLUM, S .

JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) :163-187

[6] ON MECHANICAL QUANTIFIER ELIMINATION FOR ELEMENTARY ALGEBRA AND GEOMETRY [J].

ARNON, DS ;

MIGNOTTE, M .

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 [J].

MCCALLUM, S .

JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) :141-161

← 1 2 →