ALGEBRAIC-NUMBERS - AN EXAMPLE OF DYNAMIC EVALUATION

被引：13

作者：

DUVAL, D

机构：

[1] LACO, Université de Limoges

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1994年 / 18卷 / 05期

关键词：

D O I：

10.1006/jsco.1994.1057

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Dynamic evaluation is presented through examples: computations involving algebraic numbers, automatic case discussion according to the characteristic of a field. Implementation questions are addressed too. Finally, branches are presented as ''dual'' to binary functions, according to the approach of sketch theory.

引用

页码：429 / 445

页数：17

共 25 条

[1]

ABBOTT J, 1986, P SYMSAC 86, P250

[2]

Barr M., 1985, GRUNDLEHREN MATH WIS, V278, pxiii

[3]

BARR M, 1990, CATEGORY THEORY COMP

[4]

BRADFORD RJ, 1986, P SYMSAC 86, P100

[5] EUCLIDS ALGORITHM AND THEORY OF SUBRESULTANTS [J].

BROWN, WS ;

TRAUB, JF .

JOURNAL OF THE ACM, 1971, 18 (04) :505-&

[6] SUBRESULTANTS AND REDUCED POLYNOMIAL REMAINDER SEQUENCES [J].

COLLINS, GE .

JOURNAL OF THE ACM, 1967, 14 (01) :128-&

[7]

COPPEY L, 1988, DIAGRAMMES, V19, P1

[8]

COPPEY L, 1984, DIAGRAMMES, V12, P1

[9]

DELLADORA J, 1985, LECT NOTES COMPUT SC, V204, P289

[10]

DIAZ TG, 1994, THESIS U GRENOBLE 2

← 1 2 3 →