REDUCE(交互式代数计算系统) v5426

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发行版中。

软件功能

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

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

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

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

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

分析性差异化和整合

各种特殊函数的计算

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

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

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

软件截图

查看安装过程