UNIX 工作站上的数学工具

核心提示： Jscience，Jscience 软件包是一个强大的基于 Java™ 的物理和数学函数库，UNIX 工作站上的数学工具(5)，它通过提供单个用于所有开发的体系结构，旨在帮助跨不同科学领域构建协同作用，无论您是处理保险单定价的保险精算师，还是确定飞向冥王星的宇宙飞船最优路线的天

Jscience。Jscience 软件包是一个强大的基于 Java™ 的物理和数学函数库，它通过提供单个用于所有开发的体系结构，旨在帮助跨不同科学领域构建协同作用。至少可以这样说，这是个非常崇高的目标，但是也不排除该公司能够实现该目标。

Macaulay。Macaulay 计算机代数系统对于多项式计算非常有用，并重点强调 Grobner 基计算。它旨在解决具有简单语法并且已描述为代数机器语言 (algebraic machine language) 的问题。

Magma. Magma 在成本回收许可证下进行分发，是一个旨在解决代数问题的高性能系统。它突出体现了用于群论的功能以及群数据库、用于整数和多项式算术的渐近快速算法和几个用于高级运算的前沿库。

Mathomatic。此程序没有内置的编程功能，旨在用作简单的符号数学计算器。它可以在任何系统上使用 C 编译器、标准 C 库和 UNIX make 实用程序进行编译。

Maxima。与大多数计算机代数系统一样，Maxima 是使用 Lisp 语言编写的。Maxima 基于商业软件包 Macsyma，并包括一种完整的 ALGOL 风格的编程语言，对于教授计算机代数方面的编程概念最有用。它提供了任意精度的算术，使得整数和有理数的大小仅受到系统可用内存的限制。

PARI/GP。PARI 是快速运行的符号函数 C 语言库，用于因素分解、代数数论、椭圆曲线、矩阵和超越函数。GP 是交互式的 Shell，用于提供对 PARI 函数的访问。通过使用 gp2c 编译器，可以为问题域创建快速运行的程序。

SAGE。Software for Algebra and Geometry Experimentation (SAGE) 是使用 Python 语言编写的，并使用交互式的 Python Shell 作为其用户界面。SAGE 的独特之处在于，它能够用作其他各种计算机代数系统的集成器，从而允许用户利用不同软件包的各自强项。

SINGULAR。对于交换代数、代数几何和奇点理论，SINGULAR 计算机代数系统在软件包内核以及共享库中提供了大量的算法。它还包括详尽的文档。SINGULAR 是个值得一试的系统，如果您对奇点理论感兴趣则尤其如此。

Yacas。Yet Another Computer Algebra System (Yacas) 具有漂亮的用户界面和开放源代码软件的所有其他强项。该系统的输入可以是 ASCII 或 OpenMath；该程序还具有批处理模式。

结束语

数学是科学之王，帮助解决您在特定领域所面对的数学问题的工具并不缺乏。无论您是处理保险单定价的保险精算师，还是确定飞向冥王星的宇宙飞船最优路线的天体导航员，都有相关程序可帮助回答您的问题。