DAGWOOD - A SYSTEM FOR MANIPULATING POLYNOMIALS GIVEN BY STRAIGHT-LINE PROGRAMS

被引：16

作者：

FREEMAN, TS

IMIRZIAN, GM

KALTOFEN, E

YAGATI, L

机构：

[1] CARNEGIE MELLON UNIV,DEPT COMP SCI,PITTSBURGH,PA 15213

[2] MATH SCI RES INST,BERKELEY,CA 94720

[3] RENSSELAER POLYTECH INST,TROY,NY 12181

来源：

ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE | 1988年 / 14卷 / 03期

关键词：

DAGWOOD - MATHEMATICAL SOFTWARE - RANDOMIZED ALGORITHMS - STRAIGHT-LINE PROGRAMS;

D O I：

10.1145/44128.214376

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：218 / 240

页数：23

共 28 条

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

BAUR, W ;

STRASSEN, V .

THEORETICAL COMPUTER SCIENCE, 1983, 22 (03) :317-330

[2]

BENOR M, 1988, 20TH P ANN ACM S THE, P301

[3] NOTE ON COMPLEXITY OF ALGEBRAIC DIFFERENTIATION [J].

CAVINESS, BF ;

EPSTEIN, HI .

INFORMATION PROCESSING LETTERS, 1978, 7 (02) :122-124

[4]

CHAR BW, 1983, LECTURE NOTES COMPUT, V162, P102

[5] FACTORING SPARSE MULTIVARIATE POLYNOMIALS [J].

GATHEN, JV ;

KALTOFEN, E .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 31 (02) :265-287

[6]

GATHEN JV, 1985, J COMPUT SYST SCI, V31, P255

[7]

GONNET GH, 1984, 16TH P ACM S THEOR C, P334

[8]

HEINTZ J, 1982, MONOGRAPHIE ENSEIGNE, V30, P237

[9] PROBABILISTIC ALGORITHMS FOR DECIDING EQUIVALENCE OF STRAIGHT-LINE PROGRAMS [J].

IBARRA, OH ;

MORAN, S .

JOURNAL OF THE ACM, 1983, 30 (01) :217-228

[10]

IMIRZIAN GM, UNPUB FACTORING DETE

← 1 2 3 →