ON MECHANICAL QUANTIFIER ELIMINATION FOR ELEMENTARY ALGEBRA AND GEOMETRY

被引：22

作者：

ARNON, DS ^{[1
]}

MIGNOTTE, M ^{[1
]}

机构：

[1] UNIV STRASBOURG 1,CTR CALCUL ESPLANADE,F-67084 STRASBOURG,FRANCE

来源：

关键词：

D O I：

10.1016/S0747-7171(88)80014-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：237 / 259

页数：23

共 17 条

[1] CYLINDRICAL ALGEBRAIC DECOMPOSITION .1. THE BASIC ALGORITHM
ARNON, DS
COLLINS, GE
MCCALLUM, S
[J]. SIAM JOURNAL ON COMPUTING, 1984, 13 (04) : 865 - 877
[2] A CLUSTER-BASED CYLINDRICAL ALGEBRAIC DECOMPOSITION ALGORITHM
ARNON, DS
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 189 - 212
[3] ARNON DS, 1988, IN PRESS GEOMETRIC R
[4] ARNON DS, 1985, SPRINGER LEC NOTES C, V204, P270
[5] ARNON DS, 1983, SPRINGER LEC NOTES C, V162, P36
[6] COLLINS GE, 1975, SPRINGER LECT NOTES, V33, P515
[7] COLLINS GE, 1982, COMPUTER ALGEBRA CS, V4, P83
[8] DELZELL C, 1983, COMMUNICATION
[9] A CONTINUOUS, CONSTRUCTIVE SOLUTION TO HILBERT 17TH PROBLEM
DELZELL, CN
[J]. INVENTIONES MATHEMATICAE, 1984, 76 (03) : 365 - 384
[10] KAHAN W, 1975, ACM SIGSAM B, V9, P11