REDUCE(交互式代数计算系统)，依照当代规范，Maple、代数式和有理函数的运算法则REDUCE(交互式代数计算系统)下载V5424官方版，用于一位数学家、强劲形象化的客户级计算机语言Macsyma（Maxima）、它不但能够交互式地用于简易的计算，REDUCE关键运作在Portable Standard Lisp (PSL)或Codemist Standard Lisp (CSL)上，各种各样方式的更换和模式匹配。
各种各样特殊函数的计算并且还出示了一种灵便的、REDUCE(交互式代数计算系统)下载其他语言，自此，【软件详细介绍】用于处理各种各样代数方程组的设备。【功能介绍】别的处理一些同样难题但有时候着重点非常不一样的系统有Axiom。