數學軟體

　　處理數學問題的應用軟體。它為電腦解決現代科學技術各領域中所提出的數學問題提供求解手段。數學軟體又是組成許多應用軟體的基本構件。

　　數學軟體由演算法標準程式發展而來，大致形成於70年代初期。隨著幾大數學軟體工程的開展，如美國的NATS工程，人們探索瞭產生高品質數學軟體的方式、方法和技術。經過長期積累，已有豐富的、涉及廣泛數學領域的數學軟體。某些領域，如數值代數、常微分方程方面的數學軟體已日臻完善。其他領域也有重要進展，如偏微微分方程和積分方程等。這些數學軟件已成為算法研究、科學計算和應用軟件開發的有力工具。

　　數學軟件包含豐富的內容，大致可分為數值軟件和公式處理系統兩類。

　　數值軟件　應用數值方法求解數學問題的軟件，用離散形式或其他近似形式給出解。數值軟件產品可劃分為數學程序庫、數學軟件包和數學軟件系統等三個級別。

　　綜合性數學程序庫涉及廣泛的數學領域。庫的組成以算法程序為主，輔以問題解算程序和功能模塊，目前已有多種產品，但各有側重。例如，有的側重數值代數和統計計算；有的在數值積分、微分方程等領域有較強的處理功能；有的以插值和逼近見長。

　　數學軟件包是專為某個科目或某種應用設計的程序構件集合。專用軟件包通常是對處理對象做深入的研究後產生的，有更好的適應性和更強的處理能力。它們是程序庫和應用軟件的重要資源。專用性的數學軟件包名目繁多，如有解一類數學問題的，有供算法研究的，有供教學用的。

　　數學軟件系統是面向一類數學問題的應用系統，有完備的控制管理系統和用戶界面語言系統。它能根據用戶闡明的數學問題，自動判斷問題提出的合理性、完備性，分析問題的類型、特性，選擇適宜的算法，或隨解算過程動態選擇算法，自動處理或報告解算過程出現的問題，驗證結果的精度。這是一類高水平的數學軟件，使用簡便。

　　公式處理系統　利用計算機作符號演算來完成數學推導，用數學表達式形式給出解。例如，作函數展開、代數演算、函數求導求積、代數方程和微分方程求解的軟件等。用戶利用公式處理系統，可以快速準確地完成公式推導，進行數學問題的加工處理。