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 条
[11]  
DICRESCENZO C, 1989, LECT NOTES COMPUT SC, V358, P440
[12]  
Duval D., 1994, Mathematical Structures in Computer Science, V4, P239, DOI 10.1017/S096012950000044X
[13]  
Duval D., 1994, Mathematical Structures in Computer Science, V4, P185, DOI 10.1017/S0960129500000438
[14]  
Duval D., 1993, Proceedings SC 93. International IMACS Symposium on Symbolic Computation. New Trends and Developments, P37
[15]  
Duval D., 1993, Proceedings SC 93. International IMACS Symposium on Symbolic Computation. New Trends and Developments, P209
[16]  
DUVAL D, IN PRESS J PURE APPL
[17]  
DUVAL D, 1989, COMPUTERS MATH, P321
[18]  
EHRESMANN C, 1968, B I POLITEH IASI, V14, P1
[19]  
EHRESMANN C, 1966, TECHNICAL REPORT, V10, P1
[20]  
EHRIG H, 1985, FUNDAMENTALS ALGEBRA
123