A BIBLIOGRAPHY OF QUANTIFIER ELIMINATION FOR REAL CLOSED FIELDS

被引：16

作者：

ARNON, DS

机构：

来源：

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

关键词：

D O I：

10.1016/S0747-7171(88)80016-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：267 / 274

页数：8

相关论文

共 109 条

[1] ALGEBRAIC DECOMPOSITION OF REGULAR CURVES
ARNBORG, S
FENG, H
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 131 - 140
[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] A CLUSTER-BASED CYLINDRICAL ALGEBRAIC DECOMPOSITION ALGORITHM
ARNON, DS
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 189 - 212
[6] 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
[7] ON MECHANICAL QUANTIFIER ELIMINATION FOR ELEMENTARY ALGEBRA AND GEOMETRY
ARNON, DS
MIGNOTTE, M
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 237 - 259
[8] ON THE REAL SPECTRUM OF A RING AND ITS APPLICATION TO SEMIALGEBRAIC GEOMETRY
BECKER, E
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1986, 15 (01) : 19 - 60
[9] THE COMPLEXITY OF ELEMENTARY ALGEBRA AND GEOMETRY
BENOR, M
KOZEN, D
REIF, J
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1986, 32 (02) : 251 - 264
[10] BERMAN L, 1980, THEOR COMPUT SCI, V11, P71, DOI 10.1016/0304-3975(80)90037-7

← 1 2 3 4 5 6 7 8 9 10 →