文理工具

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

软件功能

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

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

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

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

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

分析性差异化和整合

各种特殊函数的计算

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

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

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