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 [J].
ARNBORG, S ;
FENG, H .
JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) :131-140
[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]   A CLUSTER-BASED CYLINDRICAL ALGEBRAIC DECOMPOSITION ALGORITHM [J].
ARNON, DS .
JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) :189-212
[6]   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
[7]   ON MECHANICAL QUANTIFIER ELIMINATION FOR ELEMENTARY ALGEBRA AND GEOMETRY [J].
ARNON, DS ;
MIGNOTTE, M .
JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) :237-259
[8]   ON THE REAL SPECTRUM OF A RING AND ITS APPLICATION TO SEMIALGEBRAIC GEOMETRY [J].
BECKER, E .
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1986, 15 (01) :19-60
[9]   THE COMPLEXITY OF ELEMENTARY ALGEBRA AND GEOMETRY [J].
BENOR, M ;
KOZEN, D ;
REIF, 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
12345678910