軟件介紹

REDUCE官方版是一款在理科上會(huì)使用到的交互式代數(shù)計(jì)算系統(tǒng)，我們的數(shù)學(xué)家、科學(xué)家和工程師都可以通過(guò)這款軟件來(lái)進(jìn)行一般代數(shù)計(jì)算，從而幫助你完成代數(shù)計(jì)算，并且還為用戶(hù)提供靈活的編程語(yǔ)言。

REDUCE官方版軟件簡(jiǎn)介

REDUCE計(jì)算機(jī)代數(shù)系統(tǒng)的開(kāi)發(fā)是在20世紀(jì)60年代由Anthony C. Hearn開(kāi)始的。此后，來(lái)自世界各地的許多科學(xué)家都為其發(fā)展做出了貢獻(xiàn)。REDUCE在計(jì)算機(jī)代數(shù)系統(tǒng)的歷史上有著悠久而卓越的地位。其他解決一些相同問(wèn)題但有時(shí)側(cè)重點(diǎn)相當(dāng)不同的系統(tǒng)有Axiom、Derive、Macsyma（Maxima）、Maple、Mathematica和MuPAD。

REDUCE主要運(yùn)行在Portable Standard Lisp (PSL)或Codemist Standard Lisp (CSL)上，兩者都包含在SourceForge發(fā)行版中。按照現(xiàn)代標(biāo)準(zhǔn)，REDUCE是一個(gè)令人驚訝的小而精的應(yīng)用程序，在所有主要的操作系統(tǒng)上運(yùn)行良好。

軟件功能

任意精度的整數(shù)和有理算術(shù)。

多項(xiàng)式和有理函數(shù)的運(yùn)算法則

用于解決各種代數(shù)方程的設(shè)施。

自動(dòng)和用戶(hù)控制的表達(dá)式簡(jiǎn)化

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

分析性差異化和整合

各種特殊函數(shù)的計(jì)算

高能物理學(xué)家感興趣的狄拉克矩陣計(jì)算方法

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

強(qiáng)大直觀的用戶(hù)級(jí)編程語(yǔ)言