REDUCE

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

功能介绍
任意精度的整数和有理算术。
多项式和有理函数的运算法则
用于解决各种代数方程的设施。
自动和用户控制的表达式简化
各种形式的替换和模式匹配。
分析性差异化和整合
各种特殊函数的计算
高能物理学家感兴趣的狄拉克矩阵计算方法
量子消除和决定的解释一阶逻辑的
强大直观的用户级编程语言