數學軟件

著名的數學軟件有：MathType ^[1]  、Matlab、Mathematica、Maple、MathCad、Scilab、SAGE、Microsoft Mathematics等。

智能的數學軟件有：mathtool 實用數學軟件。

著名的統計軟件有：SAS、SPSS、Minitab等。

數學規劃的軟件有：Lingo、Lindo、matlab等。

繪圖軟件有：幾何畫板、Matlab、geogebra等。

數學公式編輯軟件有：Mathtype、Latex等。

工程計算軟件有：Nastran、Ansys（有限元軟件）等。

數學軟件基本分為三類：

1 數值計算的軟件，如matlab（商業軟件），scilab（開源自由軟件）等等；

2 統計軟件，如SAS（商業軟件）、minitab（商業軟件）、SPSS（商業軟件），R（開源自由軟件）等；

3 符號運算軟件，這種是最絕妙的，不像前兩種那樣只能計算出數值，而是可以把符號表達成的公式、方程進行推導和化簡，可以求出微分積分的表達式，代表有MathType、maple（商業軟件）、mathematica（商業軟件）、maxima（開源自由軟件）、mathcad（商業軟件）、Microsoft Mathematics（商業軟件，可以通過DreamSpark免費下載）等等。

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

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

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

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

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

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

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