1.Mathematica：目前比較流行的符號運算軟件之壹，它不僅可以完成微積分、線性代數及數學各個分支公式推演中的符號演算，而且可以數值求解非線性方程、優化等問題。
2.Maple：提供了2000余種數學函數，涉及範圍包括：數論、離散數學、微積分、解析幾何、微分方程、計算方法、概率統計等數學分支中的常見計算問題
3.MathCAD“主要特點是輸入格式與人們習慣的數學書寫格式很近似，采用WYSWYG（所見所得）界面，特別適合壹般無須進行復雜編程或要求比較特殊的計算。其程序編輯器的優點是語法特別簡單
4.強大的工程軟件MATLAB：包括復雜系統仿真、信號處理工具包、系統識別工具包、優化工具包、神經網絡工具包、控制系統工具包、μ分析和綜合工具包、樣條工具包、符號數學工具包、圖像處理工具包、統計工具包等。