无心人 发表于 2008-11-13 16:03:17

UNIX 工作站上的数学工具

 http://www.ibm.com/developerworks/cn/aix/library/au-unixmath.html 

数学是科学之王                                                     file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image003.gif  级别: 中级
William B. Zimmerly (bill@zimmerly.com), 自由撰稿人和知识工程师, Author

2007 年 5 月 08 日

UNIX® 有许多工具可供使用,它们可以满足您的数学启蒙要求。其中有些工具是内置的;大多数则是下载保存的。本文将向您展示UNIX 工作站上通往数学殿堂之路。

谈到数学,并不缺乏相关的计算机软件包。数学是程序员和分析人员的流行主题,从而导致了大量不同的工具可供选择。

数学是科学之王。数学工作站的商业使用群体非常庞大:从基础工程到设计创意,从基因治疗到天体导航,数学统治着整个世界。帮助人们解决他们所选领域的数学问题的计算机程序并不缺乏。本文的剩余部分将描述几个商业和开放源代码系统,它们在您所从事的领域可能证明是有价值的。所描述的所有系统都有专用于它们的网页,并包括在本文的参考资料部分。

数字计算器


UNIX 工作站中存在的最常用数学工具以计算器和更高级的电子表格程序(如 GNU Calc)的形式出现。算术规则非常简单,所有这些工具都忠实地遵守它们。几乎每个全功能的窗口管理工具包都至少突出体现了一个计算器,有时还有多个版本的计算器。

GNU 项目还提供了可供下载的计算工具。其中包括 GNU Calc、GNUPlot、ATLAS、Choose 和 4,000 多个其他面向数学的程序。请参见参考资料部分以获得指向完整列表的链接。

符号数学


正如您在学校中级课程中所学习到的,数学所涉及的远不只是对数字的简单运算。数字占位符的符号表示形式——诸如 x、y 和 z 等变量、笛卡儿坐标、因素分解原理以及积分和微分世界——是一个丰富和多样性领域的一部分,该领域要求提供同样丰富和多样性的计算机资源。为这些任务而设计的程序领域的最常用名称是“计算机代数系统”(Computer Algebraic Systems,CAS)。同时存在商业和开放源代码 CAS 程序可供使用,下面将描述其中一些最常用程序。

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

教育资源


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

商业软件包


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

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

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

Maple。 Maple 数学软件包由 Waterloo Maple Inc. (Maplesoft) 开发并销售,最初由加拿大安大略省沃特卢的沃特卢大学的 Symbolic Computation Group 于 1981 年创建。Maple 是一款给人印象深刻的软件包,尤其擅长于三维绘图和以课本形式显示数学公式。它在一个动态工具中组合了界面和编程语言,可同时用于数字和符号问题的解答。许多大学已将 Maple 作为教授数学概念的标准工具;该公司提供此软件的学生版和专业版。

MathCAD。 PTC 是一家工程设施公司,于 2006 年收购了 MathCAD 的股权。MathCAD 在简单性方面与 Maple 类似,具有允许工程师在屏幕上输入和显示各种公式以及图形和文本的界面。MathCAD 组合了一个庞大的功能库,包括微积分、拉普拉斯变换、贝塞尔函数、统计和财务函数。

Mathematica。 Stephen Wolfram 的公司 Wolfram Research 于 20 世纪 80 年代晚期开发了 Mathematica,并重点强调了该工具的编程方面。它提供了过程式和函数式编程的灵活组合,并引入了自动重新编写公式的非确定性方法。它是一个强大的软件包,带有一个大型的多样性功能库,并提供了解决问题的独特多范例方法。

Reduce。 Reduce 是另一个通用计算机代数系统,是由许多科学家以协作方式开发完成的。该系统于 20 世纪 60 年代由 Anthony Hearn 创建。Reduce 现已成为科学界许多人的最爱。它以收取成本回收费用的方式进行分发,并且分发版中通常包括源代码。

开放源代码软件包


本部分研究开放源代码的世界。下面是一些最常用的开放源代码 CAS 系统的简要概述,这些系统的源代码在常用开放源代码许可证之一下授予许可。如果您对其中任何系统感兴趣,可以通过浏览它们的网站来找到更多信息,参考资料部分列出了所有这些网站。

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

CoCoA。 Computations in CommutativeAlgebra (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++ 面向对象技术来实现代数语法。在这个由许多陌生名称所主宰的领域,它还具有一个比较陌生的名称!

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 GeometryExperimentation (SAGE) 是使用 Python 语言编写的,并使用交互式的 Python Shell 作为其用户界面。SAGE 的独特之处在于,它能够用作其他各种计算机代数系统的集成器,从而允许用户利用不同软件包的各自强项。

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

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

结束语


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

 

参考资料


学习
[*]您可以参阅本文在 developerWorks 全球站点上的 英文原文 。[*]检查以下数学资源:  [*]FSF/UNESCO Free Software Directory  [*]Axiom 主页  [*]CoCoA 主页  [*]Dcas 主页  [*]Derive 页面  [*]DoCon 主页  [*]Eigenmath 主页  [*]Fermat 主页  [*]Jscience 主页  [*]Macaulay 主页  [*]Magma 主页  [*]Maplesoft  [*]PTC  [*]Wolfram Research  [*]Mathomatic 主页  [*]Maxima 主页  [*]MetaMath 主页  [*]PARI/GP 主页  [*]Reduce 主页  [*]SAGE 主页  [*]SINGULAR 网站  [*]Yacas 主页
 
[*]“AIX and UNIX” developerWorks 专区提供了关于 AIX 系统管理的各个方面和扩展您的     UNIX 技能的大量的信息。[*]developerWorks 技术事件和网络广播:跟踪最新的 developerWorks 技术事件与网络广播。[*]AIX 5L Wiki:访问这个 AIX 相关技术信息的协作环境。[*]播客:收听播客并与 IBM 技术专家保持同步。[*]浏览技术书店以查找相关的图书和其他技术主题。

获得产品和技术
[*]IBM 试用软件:使用 IBM 软件开发您的下一个项目,可直接从 developerWorks 下载这些试用软件。

讨论
[*]参与“AIX and UNIX”论坛:  [*]AIX 5L——技术论坛  [*]AIX for Developers 论坛  [*]集群系统管理  [*]IBM 支持协助  [*]性能工具——技术  [*]虚拟化——技术  [*]更多“AIX and UNIX”论坛
关于作者


file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image004.gif


file:///C:/DOCUME~1/ADMINI~1/LOCALS~1/Temp/msohtml1/01/clip_image005.gif  BillZimmerly 是一名知识工程师和专长于不同版本 UNIX® 和 Microsoft® Windows® 软件的底层系统程序员,同时他也是一名崇尚逻辑至上的自由思想者。他热衷于创建新技术并撰写相关的文章。他住在 Missouri 的 Hillsboro 郊外,那里空气新鲜、景色怡人,到处都有上等的葡萄酒厂。

 
 


[ 本帖最后由 无心人 于 2008-11-13 16:21 编辑 ]

无心人 发表于 2008-11-13 16:23:37

还是在找免费的符号计算包
搜索到axiom
然后发现这个的
看上去不错
发上来于诸君共享

liangbch 发表于 2008-11-13 17:59:13

不错,顶一个

mathe 发表于 2008-11-13 18:03:02

试用过了?

无心人 发表于 2008-11-13 19:20:55



所以说看上去很好
呵呵

liangbch 发表于 2008-11-13 20:00:24

没有,看上去很好

没——问题 发表于 2008-11-14 17:40:53

mathe在植树问题里貌似一直需要符号计算包吧
就是那个方程组

当然,那是很多楼前的事了,只是在我的脑子里那个问题还停留在那个阶段:L

无心人 发表于 2008-11-15 10:48:54

呵呵

不知道mathe测试过axiom么?

xuhui250 发表于 2010-8-15 20:59:29

这个帖子介绍的很好,无聊的时候可以找个学习下。。。。

wayne 发表于 2010-8-18 16:34:44

8# 无心人

无心人试过了吗,:)
页: [1] 2
查看完整版本: UNIX 工作站上的数学工具