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是一个令人惊讶的小而精的应用程序，在所有主要的操作系统上运行良好。

REDUCE功能介绍

任意精度的整数和有理算术。

多项式和有理函数的运算法则

用于解决各种代数方程的设施。

自动和用户控制的表达式简化

各种形式的替换和模式匹配。

分析性差异化和整合

各种特殊函数的计算

高能物理学家感兴趣的狄拉克矩阵计算方法

量子消除和决定的解释一阶逻辑的

强大直观的用户级编程语言