跳至內容

草稿:計算機代數系統

維基百科,自由的百科全書

計算機代數系統( 英語:computer algebra system,縮寫作:CAS ) 或符號代數系統( symbolic algebra system,縮寫作SAS ) 是能夠以類似於數學家科學家傳統手動計算的方式操作數學表達式數學軟體。這種系統的要件是數學表達式的符號運算。 20世紀下半葉計算機代數系統的發展是「計算機代數」或「符號計算」學科的一部分,它刺激了多項式數學對象算法工作。


計算機代數系統按用途可分為兩大類別:專用的、通用的。

專用的計算機代數系統致力於數學的特定部分,例如數論群論,亦或是初等數學的教學。

通用的計算機代數系統致力於任何需要操作數學表達式的科學領域。為了發揮其作用,通用計算機代數系統必須包含各種功能,例如:

數學算法特殊函數不僅要滿足用戶的需求,還要滿足簡化器的需求。例如,多項式最大公約數的計算被系統地用於簡化涉及分數的表達式。

這些繁雜的功能要求解釋了通用計算機代數系統的數量為何如此之少。一些重要的系統包括Axiom_計算機代數系統英語Axiom_(computer_algebra_system)MaximaMAGMAMapleMathematicaSageMath

發展歷史

計算機代數系統出現於 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 年後建立的數值計算系統。

含有計算機代數系統的TI-Nspire計算器

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英語TI-92]]計算器,該計算器搭載了基於[[TI-92|Derive英語Derive_(computer_algebra_system)]]軟體開發的CAS;[[TI-92|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] [15]

[原文說的是美國的測試,這裡可以請了解相關知識的人改成中國的考試]配備 CAS 的計算器在ACTPLAN等考試中[16]不允許使用,儘管在所有允許使用計算器的美國大學理事會考試中可能是允許的,包括SAT、一些SAT科目考試以及AP微積分、化學、物理和統計學考試中可能允許使用。

計算機代數系統中使用的數學(或許需要改進)

參見

參考

  1. ^ Nelson, Richard. Hewlett-Packard Calculator Firsts. Hewlett-Packard. (原始內容存檔於2010-07-03). 
  2. ^ REDUCE Computer Algebra System at SourceForge. reduce-algebra.sourceforge.net. [2015-09-28]. 
  3. ^ Interview with Gaston Gonnet, co-creator of Maple 網際網路檔案館存檔,存檔日期2007-12-29., SIAM History of Numerical Analysis and Computing, March 16, 2005.
  4. ^ Bhattacharya, Jyotirmoy. Wolfram|Alpha: a free online computer algebra system. The Hindu. 2022-05-12 [2023-04-26]. ISSN 0971-751X (印度英語). 
  5. ^ Ornes, Stephen. Symbolic Mathematics Finally Yields to Neural Networks. Quanta Magazine. [2020-11-04] (英語). 
  6. ^ dsolve - Maple Programming Help. www.maplesoft.com. [2020-05-09]. 
  7. ^ DSolve - Wolfram Language Documentation. www.wolfram.com. [2020-06-28]. 
  8. ^ Basic Algebra and Calculus — Sage Tutorial v9.0. doc.sagemath.org. [2020-05-09]. 
  9. ^ Symbolic algebra and Mathematics with Xcas (PDF). 
  10. ^ Teaching kids real math with computers. Ted.com. [12 August 2017]. 
  11. ^ Mathematics - Manitoba Education. Edu.gov.mb.ca. [12 August 2017]. 
  12. ^ Mathematica for Faculty, Staff, and Students : Information Technology - Northwestern University. It.northwestern.edu. [12 August 2017]. 
  13. ^ Mathematica for Students - Columbia University Information Technology. cuit.columbia.edu. [12 August 2017]. 
  14. ^ Mathematica for Higher Education: Uses for University & College Courses. Wolfram.com. [12 August 2017]. 
  15. ^ MathWorks - Academia - MATLAB & Simulink. Mathworks.com. [12 August 2017]. 
  16. ^ ACT's CAAP Tests: Use of Calculators on the CAAP Mathematics Test 網際網路檔案館存檔,存檔日期August 31, 2009,.

外部連結