DEFINABILITY AND FAST QUANTIFIER ELIMINATION IN ALGEBRAICALLY CLOSED FIELDS

被引：228

作者：

HEINTZ, J

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(83)90002-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：239 / 277

页数：39

共 28 条

[1]

Atiyah M. F., 1969, INTRO COMMUTATIVE AL

[2]

BAREISS EH, 1968, MATH COMPUT, V22, P565

[3] THE COMPLEXITY OF PARTIAL DERIVATIVES [J].

BAUR, W ;

STRASSEN, V .

[4]

Collins GE, 1975, LECT NOTES COMPUT SC, P134, DOI [10.1007/3-540-07407-4_17, DOI 10.1007/3-540-07407-4_17]

[5] SYSTEMS OF DISTINCT REPRESENTATIVES AND LINEAR ALGEBRA [J].

EDMONDS, J .

JOURNAL OF RESEARCH OF THE NATIONAL BUREAU OF STANDARDS SECTION B-MATHEMATICAL SCIENCES, 1967, B 71 (04) :241-+

[6]

FISCHER MJ, 1974, MAC43 MIT TECHN MEM

[7] LOWER BOUNDS FOR POLYNOMIALS WITH ALGEBRAIC COEFFICIENTS [J].

HEINTZ, J ;

SIEVEKING, M .

[8]

HEINTZ J, 1977 OB C COMPL THEO

[9]

HEINTZ J, 1980, 12TH ANN S ACM COMP, P262

[10]

HEINTZ J, 1982, MONOGRAPHIE ENSEIGNE, V30, P237