UNIX 工作站上的数学工具

核心提示： Axiom，这个称为 Axiom 的开放源代码计算机代数系统是在修改后的 Berkeley Software Distribution (BSD) 许可证下发布的，UNIX 工作站上的数学工具(4)，它对于探索不同的数学算法非常有用，其突出特性是强类型的数学对象层次结构和对对象进行分组和控

Axiom。这个称为 Axiom 的开放源代码计算机代数系统是在修改后的 Berkeley Software Distribution (BSD) 许可证下发布的，它对于探索不同的数学算法非常有用。其突出特性是强类型的数学对象层次结构和对对象进行分组和控制的常用编程数据结构。Axiom 是使用自定义 A# 编程语言来编写的，对于有意探索算法设计的人来说是值得的工具。

CoCoA。 Computations in Commutative Algebra (CoCoA) 是另一个免费计算机代数系统，用于处理超大型整数、有理数和多项式。它为自定义 C++ 程序提供了有用的数学功能库。

Dcas。计算机代数领域几乎为数学研究的每个方面提供了丰富多彩的方法。存在许多在程序中表示数学对象的方法，而 Martin Johansen 的 Dcas 系统则证明了这些方法可以如何的千差万别。Dcas 突出体现了一种使用标识作为规则来操作代数表达式的方法。Dcas 非常值得一试；您可能会发现它是处理您所在领域问题的理想方法。

DoCon。 称作 Haskell 的函数式编程语言展示了一个用于符号数学的程序，名为 DoCon。按照该公司网站（请参见参考资料部分）上的文档，DoCon 实现了线性代数、多项式最大公约数、因素分解、Grobner 基，并支持域上的结构（constructions on domains）——分数、多项式、留数环，等等。它是开放源代码的，可能就是用于您正打算要编写的应用程序的恰当工具。

Eigenmath。Eigenmath 是由 George 使用 C 语言来编写的，是一个简单易用的计算机代数系统。由于有源代码可用，它成了刚开始探索计算机代数系统的学生的有用工具。

GiNaC。 GiNaC 与大多数其他计算机代数系统不同，它没有提供用于输入表达式的图形用户界面 (GUI)，而是选择让用户以本机 C++（其实现语言）来输入表达式。它使用运算符重载这种本机 C++ 面向对象技术来实现代数语法。在这个由许多陌生名称所主宰的领域，它还具有一个比较陌生的名称！