REDUCE是一个交互式系统，用于一位数学家、生物学家和技术工程师很感兴趣的一般代数计算，它不但能够交互式地用于简易的计算，并且还出示了一种灵便的、颇具感染力的客户计算机语言。

【软件详细介绍】

　　REDUCE计算机代数系统的开发设计是在二十世纪六十年代由Anthony C. Hearn刚开始的。自此，来源于世界各国的很多生物学家都为其发展趋势作出了奉献。REDUCE在计算机代数系统的在历史上拥有 久远而非凡的影响力。别的处理一些同样难题但有时候着重点非常不一样的系统有Axiom、Derive、Macsyma（Maxima）、Maple、Mathematica和MuPAD。

　　REDUCE关键运作在Portable Standard Lisp (PSL)或Codemist Standard Lisp (CSL)上，两者都包括在SourceForge发行版中。依照当代规范，REDUCE是一个让人诧异的小而美的应用软件，在全部关键的实际操作系统上运作优良。

【功能介绍】

　　随意精密度的整数金额和言之有理算数。

　　代数式和有理函数的运算法则

　　用于处理各种各样代数方程组的设备。

　　全自动和客户操纵的关系式简单化

　　各种各样方式的更换和模式匹配。

　　剖析性多元化和融合

　　各种各样特殊函数的计算

　　较高能科学家很感兴趣的狄拉克引流矩阵计算方式

　　量子科技清除和决策的表述一阶逻辑的

　　强劲形象化的客户级计算机语言