UNIX 工作站上的数学工具

核心提示： 但是，能够操作符号在大多数情况下还不足够，UNIX 工作站上的数学工具(2)，与原始坐标点值清单所能提供的信息相比，图形可以告诉我们更多信息，据该公司的广告宣称，如果您需要计算 Q 上的 400 x 400 矩阵的特征多项式，可用于计算机代数的大多数系统还突出体现了某种绘图机制，允许您可视

但是，能够操作符号在大多数情况下还不足够。与原始坐标点值清单所能提供的信息相比，图形可以告诉我们更多信息。可用于计算机代数的大多数系统还突出体现了某种绘图机制，允许您可视化所标绘的数据。

教育资源

可以使用许多计算机程序来帮助您解决数字和符号数学问题，但是还有些程序可以帮助您学习数学。MetaMath 系列程序就是一个理想的起点（请参见参考资料部分）。对于初学者或通常认为自己无意从事该领域的读者，本文描述的数学和程序也是引人入胜的。只需下载和试验其中一些程序就可能会激发您成为某方面的专家，从而比任何计算机游戏都更能充实您的生活。

商业软件包

下面是一些最常用商业 CAS 系统的简要概述。如果您对其中任何系统感兴趣，可以通过浏览它们的网站来找到更多信息，参考资料部分列出了所有这些网站。

Derive。Software Warehouse 是创建旨在运行于早期工作站计算机上的数学软件的最早先行者之一。该公司设立于 1979，当时 PC 革命刚起步，计算机代数系统还仅在使用分时终端的大型计算机系统上可用，该公司设计了一款名为 muMATH 的程序，以便 PC 用户能够超越简单的计算器，从而在有限的小型计算机硬件上处理符号数学问题。后来 muMATH 系统停止了使用，并被远远更高级的 Derive 系统所取代。Derive 是使用 Lisp 语言编写的，Lisp 是一种公共编程语言，尤其适合基于规则的处理，该处理是将一个抽象数学表达式变换为另一个表达式所必需的。

Fermat。这个专有共享软件计算机代数系统是为纪念已故最著名数学家之一 Pierre de Fermat 而命名的。它在各种各样的计算机系统上运行，尤其擅长于涉及任意长度整数和小数、图、矩阵和多项式代数的算术。Fermat 运行得非常快。据该公司的广告宣称，如果您需要计算 Q 上的 400 x 400 矩阵的特征多项式，那么您就需要 Fermat。