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是一個令人驚訝的小而精的應用程序，在所有主要的操作系統上運行良好。
任意精度的整數和有理算術。
多項式和有理函數的運算法則
用于解決各種代數方程的設施。
自動和用戶控制的表達式簡化
各種形式的替換和模式匹配。
分析性差異化和整合
各種特殊函數的計算
高能物理學家感興趣的狄拉克矩陣計算方法
量子消除和決定的解釋一階邏輯的
強大直觀的用戶級編程語言
騰訊視頻官方版 | 45.34MB
騰訊視頻是騰訊旗下的視頻播放產品，定位于中國最大在線視頻媒體平臺，于2011年4月正式上線運營獨立域名的視頻網站，支持豐富內容的在線點播及電視臺直播，提供列表管理..
愛奇藝視頻官方正式版 | 35.10MB
愛奇藝，原名奇藝，于2010年4月22日正式上線，2011年11月26日品牌升級，啟動“愛奇藝”品牌并推出全新標志。愛奇藝創始人龔宇博士擔任CEO。...
暴風影音最新版下載 | 50.3MB
暴風影音播放的文件清晰，當有文件不可播時，右上角的“播”起到了切換視頻解碼器和音頻解碼器的功能，會切換視頻的最佳三種解碼方式，同時，暴風影音也是國人最喜愛的播放器之一...
酷狗音樂2022下載 | 37MB
酷狗是中國領先的數字音樂交互服務提供商，互聯網技術創新的領軍企業，致力于為互聯網用戶和數字音樂產業發展提供最佳的解決方案...
