Caviness,B.F.公司。 计算机代数:过去和未来。 (英语) 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.马蒂森 引用于1审查 MSC公司: 68瓦30 符号计算和代数计算 2002年8月 与计算机科学有关的研究展览会(专著、调查文章) 关键词:1966~1985年计算机代数的发展;gcd公司;多元多项式的因式分解;多项式的符号根;代数理想理论;逻辑理论的决策程序;实闭域;集成;总和;微分方程;计算机代数系统;麦克西玛;减少;SAC/阿尔德斯;mu-Math(多路径);未来软件开发;未决问题;并行算法和体系结构;教育 引文:Zbl 0568.00018号 软件:伊斯兰教;减少 PDF格式BibTeX公司 XML格式