在電腦誕生的初期,大多數數學運算依賴於人工計算,這不僅耗時而且容易出錯。然而,隨著電腦代數系統(CAS)或符號代數系統的出現,數學的運算方式發生了翻天覆地的變化。這些系統不僅能自動化數學運算,還能為科學研究提供強大的支持。
電子計算不再僅僅是一項技術,它已成為數學運算的一部分,令過去繁瑣的計算過程變得簡便與高效。
電腦代數系統的基本功能是能夠處理數學表達式,這些系統包含了用來輸入、顯示及計算數學公式的各種工具。一般而言,這些系統可以分為專用型和通用型兩種。專用型系統針對數學的某個特定領域,例如數論或群論,而通用型系統則適用於在各科學領域中需要進行數學操作的用戶。
為了能夠廣泛應用,通用的電腦代數系統必須具備多種功能,包括用戶界面、編程語言解釋器、簡化器和記憶體管理工具等。
電腦代數系統在二十世紀五十年代開始萌芽,但最初主要圍繞著數值計算展開。隨著理論物理學需求的推動,這一技術逐漸得以實現。1963年,馬丁努斯·維爾特曼設計的名為Schoonschip的程序,是早期系統之一。該系統以符號數學為主,旨在支持高能物理學的計算。此外,還有基於Lisp語言的MATHLAB和FORMAC等程序進一步拓寬了這一領域。
數學計算過程中,電腦代數系統支援多種符號運算,包括但不限於簡化、多項式因式分解及微積分操作。事實上,目前有許多重要的電腦代數系統在學術界及商業界佔有重要的地位,其中包括Axiom、GAP、Maxima、Maple和Mathematica等。
這些系統的設計旨在強化功能,適應各行各業對數學運算的需求。
越來越多的教育專家倡導在中小學課堂上引入電腦代數系統,因為這能更真實地反映現實中的數學運算。在高等教育中,許多大學提供專門課程來培訓學生使用這些系統,並且在某些考試中仍然禁止使用配備電腦代數系統的計算器,這表明了對計算能力的雙重標準。
無論在學術界還是商業界,數學計算的未來都將依賴於這些先進的技術,而不是僅僅依賴傳統的數學方法。
隨著技術的進步,電腦代數系統不斷更新與完善,目前已有利用人工智慧技術的電腦代數系統開發中。這預示著科學計算的未來可能會朝著更加智能化的方向發展,而成為計算過程中不可或缺的一部分。
在這樣的背景下,數學系統的未來是否會完全被電腦化,取代傳統的手工計算方式,成為新的數學標準?