軟件介紹

REDUCE官方版是一款在理科上會使用到的交互式代數計算系統，我們的數學家、科學家和工程師都可以通過這款軟件來進行一般代數計算，從而幫助你完成代數計算，并且還為用戶提供靈活的編程語言。

REDUCE官方版軟件簡介

REDUCE計算機代數系統的開發是在20世紀60年代由Anthony C. Hearn開始的。此后，來自世界各地的許多科學家都為其發展做出了貢獻。REDUCE在計算機代數系統的歷史上有著悠久而卓越的地位。其他解決一些相同問題但有時側重點相當不同的系統有Axiom、Derive、Macsyma（Maxima）、Maple、Mathematica和MuPAD。

REDUCE主要運行在Portable Standard Lisp (PSL)或Codemist Standard Lisp (CSL)上，兩者都包含在SourceForge發行版中。按照現代標準，REDUCE是一個令人驚訝的小而精的應用程序，在所有主要的操作系統上運行良好。

軟件功能

任意精度的整數和有理算術。

多項式和有理函數的運算法則

用于解決各種代數方程的設施。

自動和用戶控制的表達式簡化

各種形式的替換和模式匹配。

分析性差異化和整合

各種特殊函數的計算

高能物理學家感興趣的狄拉克矩陣計算方法

量子消除和決定的解釋一階邏輯的

強大直觀的用戶級編程語言