电脑代数系统

来自维基百科,自由的百科全书

电脑代数系统( 英语:computer algebra system,缩写作:CAS ) 或符号代数系统( symbolic algebra system,缩写作SAS) 是能够以类似于数学家科学家传统手动计算的方式操作数学表达式数学软件。这种系统的要件是数学表达式的符号运算。 20世纪下半叶电脑代数系统的发展是“电脑代数”或“符号计算”学科的一部分,它刺激了多项式数学对象算法工作。


电脑代数系统按用途可分为两大类别:专用的、通用的。

专用的电脑代数系统致力于数学的特定部分,例如数论群论,亦或是初等数学的教学。

通用的电脑代数系统致力于任何需要操作数学表达式的科学领域。为了发挥其作用,通用电脑代数系统必须包含各种功能,例如:

数学算法特殊函数不仅要满足用户的需求,还要满足简化器的需求。例如,多项式最大公约数的计算被系统地用于简化涉及分数的表达式。

这些繁杂的功能要求解释了通用电脑代数系统的数量为何如此之少。一些重要的系统包括Axiom_电脑代数系统英语Axiom_(computer_algebra_system)MaximaMAGMAMapleMathematicaSageMath

发展历史

Thumb
含有电脑代数系统的TI-Nspire计算器


20世纪50年代,当电脑主要被用于数值计算时,已有研究项目探索其在符号运算中的应用。电脑代数系统于于 20 世纪 60 年代开始兴起,其发展源自两个截然不同的领域:理论物理学家的研究需求和人工智慧领域的探索。


第一个领域的一个典型例子是后来的诺贝尔物理学奖获得者马丁纽斯·韦尔特曼(Martinus J. G. Veltman)在1963年设计的用于高能物理的符号数学程序,名为Schoonschip英语Schoonschip(荷兰语,意指“干净的船”)。其他早期系统包括FORMAC


在第二个人工智慧领域中, Carl Engelman英语Carl Engelman使用Lisp作为编程基础,于 1964 年在MITRE英语MITRE的人工智慧研究所中创建了MATHLAB英语MATHLAB 。后来 MATHLAB 可供大学中运行 TOPS-10 或 TENEX 的 PDP-6 和 PDP-10 系统上的用户使用。如今,它仍然可以在 PDP-10 的SIMH仿真环境中运行。 注意,MATHLAB("mathematical laboratory")不是MATLAB("matrix laboratory"),后者是新墨西哥大学在 15 年后建立的数值计算系统。


1987 年,惠普推出了第一台带有 CAS 的手持计算器——HP-28系列英语HP-28_series。首次在计算器中实现了整理代数表达式,求导,有限符号积分,泰勒级数构建的功能,以及一个代数方程的求解器。[1] 1999年,为HP 48系列自主研发的Erable CAS 正式成为新兴的HP 49/50系列固件中的一个集成部分,并在一年后也集成到了HP 40系列中,而在2013年,HP Prime则采用了Xcas系统。

1995年,德州仪器发布了TI-92英语TI-92计算器,该计算器搭载了基于Derive英语Derive_(computer_algebra_system)软件开发的CAS;TI-Nspire英语TI-Nspire_series于 2007 年取代了 Derive。 1998 年首次发布的TI-89 系列也包含 CAS。

Casio在1999年推出了他们的第一款带有CAS的计算器———CFX-9970G。并在 1999-2003 年推出了替代CFX-9970G的Algebra FX 系列,直到现在的ClassPad 系列[来源请求]



第一个流行的电脑代数系统是muMATHReduceDerive (基于 muMATH)和Macsyma ; Macsyma 的一个流行的Copyleft版本是Maxima,目前正在积极维护。 Reduce于 2008 年成为自由软件[2]。截至今日[何时?],最流行的商业系统是Mathematica [3]Maple ,它们通常被研究数学家、科学家和工程师使用。免费提供的替代方案包括SageMath (它可以充当其他几个免费和非自由 CAS 的前端)。其他重要的系统包括AxiomMaximaMagmaSageMath

2000 年代初期,向基于 Web 的应用程式的转变的趋势促使了WolframAlpha的发布,它由一个 在线搜索引擎 和 一个包含Mathematica的功能的CAS 组成。 [4]


最近,电脑代数系统开始使用人工神经网络来实现,但截至 2020 年,它们尚未商用[5]

符号运算

通常支持的符号运算功能包括:

注:上文所述"一些"表示该功能存在运算限制,无法保证所有情况均可执行。

其它功能

很多CAS还包括:

其中一些CAS包括:

一些电脑代数系统专注于特定学科领域;这些系统通常由学术界开发,并且是免费的。与数值系统相比,它们在数值运算方面可能效率较低。

表达式的类别

CAS 操作的表达式通常包括:

支持的数字域通常包括实数的浮点表示、(无限大小的)整数、(浮点表示的)复数实数的区间表示有理数(精确表示)和代数

教育方面

近年来,有许多倡导者呼吁在中小学课堂中增加电脑代数系统的使用。这种倡导的主要原因是电脑代数系统比基于纸笔或手持计算器的数学更能代表现实世界的数学。 [10]一些教育委员会支持增加数学课堂中电脑的使用。它甚至被纳入一些地区的课程中。 [11]

电脑代数系统已广泛应用于高等教育。 [12] [13]许多大学要么提供有关开发其用途的特定课程,要么隐含地期望学生在课程作业中使用它们。开发电脑代数系统的公司已努力提高其在大学和学院课程中的普及率。 [14]

配备 CAS 的计算器在ACTPLAN等考试中[15]不允许使用,尽管在所有允许使用计算器的美国大学理事会考试中可能是允许的,包括SAT、一些SAT科目考试以及AP微积分、化学、物理和统计学考试中可能允许使用。

在电脑代数系统中应用的数学算法

参见

参考

外部链接

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.