×

计算机代数:过去和未来。 (英语) Zbl 0627.68036号

计算机代数,EUROCAL’85,Proc。欧洲会议,林茨/奥地利,1985年,第1卷,Lect。注释计算。科学。203, 1-18 (1985).
[关于整个系列,请参见Zbl 0568.00018号.]
在简要介绍了计算在数学史上的重要性之后,作者概述了1966年至1985年期间计算机代数的发展。本文考虑的主题是多元多项式的gcd和因式分解、多项式的符号根、代数理想理论、逻辑理论的决策程序(例如实闭域)、积分和微分方程。
随后,作者对计算机代数系统(尤其是Macsyma、Reduce、SAC/ALDES和mu-Math)以及开发应该如何进行进行了一些评论。
最后,对未来的软件开发以及一些悬而未决的问题进行了评论,这些问题涉及超越函数算术、多项式理想和实闭域理论、并行算法和体系结构,以及计算机代数应如何融入教育。
审核人:G.马蒂森

MSC公司:

68瓦30 符号计算和代数计算
2002年8月 与计算机科学有关的研究展览会(专著、调查文章)