族谱网 头条 人物百科

计算机代数系统

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:236
转发:0
评论:0
表示式的类别表示式的例子包括:多变元多项式标准函数(三角函数、指数函数等等)特殊函数(Γ函数、Bessel函数等等)由各种表示式合成的函数表示式的导函数、积分、和与积以表示式为系数的级数表示式构成的矩阵符号运算以下是几种典型的符号运算:表示式的简化对表示式求值表示式的变形:展开、积、幂次、部分分式表法、将三角函数表为指数函数等等。对单变元或多变元的微分。带条件或不带条件的整体最优化。部分或完整的因式分解。求解线性方程组或一些非线性方程式。某类微分方程或差分方程的符号解。求某些函数的极限值。一些函数的定积分或不定基分,包括多变元的情形。泰勒展开式、罗朗展开式与Puiseux展开式某些函数的无穷级数展开式。对某些级数求和。矩阵运算。数学式的显示,通常借着TeX之类的系统达成。其它功能通常计算机代数系统还能进行一些数值运算:函数的确切求值。高精度求值,例如计算21/3{\displaystyle...

表示式的类别

表示式的例子包括:

多变元多项式

标准函数(三角函数、指数函数等等)

特殊函数(Γ函数、Bessel函数等等)

由各种表示式合成的函数

表示式的导函数、积分、和与积

以表示式为系数的级数

表示式构成的矩阵

符号运算

以下是几种典型的符号运算:

表示式的简化

对表示式求值

表示式的变形:展开、积、幂次、部分分式表法、将三角函数表为指数函数等等。

对单变元或多变元的微分。

带条件或不带条件的整体最优化。

部分或完整的因式分解。

求解线性方程组或一些非线性方程式。

某类微分方程或差分方程的符号解。

求某些函数的极限值。

一些函数的定积分或不定基分,包括多变元的情形。

泰勒展开式、罗朗展开式与Puiseux展开式

某些函数的无穷级数展开式。

对某些级数求和。

矩阵运算。

数学式的显示,通常借着TeX之类的系统达成。

其它功能

通常计算机代数系统还能进行一些数值运算:

函数的确切求值。

高精度求值,例如计算 2 1 / 3 {\displaystyle 2^{1/3}} 到小数点后 10000 {\displaystyle 10000} 位。

线性代数的数值运算。

描绘二维或三维的函数图形。

在数值运算方面,计算机代数系统的速度通常较Matlab、GNU Octave或C语言中以同等方式实现的程序慢。这是因为计算机系统几乎总是对符号表示式运算,故不能充分利用CPU的既有指令。

许多计算机代数系统内置高级编程语言,以供用户扩展,或设置个人的操作模式。

历史

马丁纽斯·韦尔特曼(Martinus J. G. Veltman) 是这个领域的先驱,他首先考虑了在高能物理中的应用。他在1963年设计的第一个程序叫 Schoonship (荷兰文,意指“干净的船”)。

最早受到欢迎的系统是Reduce、Derive与Macsyma,现在仍然可获取。Macsyma的一个GNU通用公共许可证发行的版本叫作Maxima,现在仍有维护。市场的龙头为Maple与Mathematica,两者被数学家、科学家及工程师们广泛采用,此外还有MuPAD与MathCad。

另有一些系统着眼于特定的应用领域,这些系统通常在学院中被设计、发展及维护,例如交换代数系统Macaulay 2或数论系统PARI/GP。

当前流行计算机代数系统

mathHandbook.com (former symbmath)

Sagemath

Mathematica

Maple

MAGMA

Maxima

GAP

PARI/GP

Meditor

MuPAD

Mathomatic

Xcas / Giac

Yacas

Mate

参见

数学软件

计算机代数系统比较

参考

外部链接

There are various lists of computer algebra systems available on-line:

/Top/Science/Math/Algebra/Software/

/~freek/digimath/xindex.html

开放式目录计划中和Math Software相关的内容

/~slc/divers/software.html

Use Maxima in a web browserwithout downloading any software

/about

Rosetta Translations: a collection of synonyms for various operations in the computer algebra systems

文献

Richard J. Fateman. Essays in algebraic simplification . Technical report MIT-LCS-TR-095, 1972.


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 计算机系统
计算机系统计算机系统可划分为软件系统与硬件系统两大类。输入/输出和数据通信数字逻辑逻辑设计集成电路软件系统软件应用软件计算机程序软件工程数据和信息系统数据结构数据存储表示数据加密数据压缩编码与信息论文件信息系统
· 计算机系统结构
实例以常见的冯·诺伊曼计算机的设计为例,体系结构设计包括了:指令集架构(Instructionsetarchitecture;简称ISA):被视为一种机器语言,包含了许多相关的指令集(内存定址、处理器控制,寄存器控制等等……)。微体系结构/微架构(Microarchitecture)或称计算机组织(Computerorganization):是更详细的叙述系统内部各元素如何进行合作与沟通。数据表示,即硬件能直接识别和处理的数据类型和数据格式;寻址方式,包括最小寻址单位和地址运算等;寄存器定义,包括操作数寄存器、变址寄存器、控制寄存器等的定义、数量和使用方式;指令系统,包括机器指令的操作类型和格式、指令间的排序和控制机制等;异常机制,包括中断、NMI和内部异常等;机器工作状态的定义和切换,如管态和目态等;输入输出结构,包括处理机、存储器与输入输出设备之间的连接方式、数据传送方式、数据流量、以...
· 小型计算机系统接口
SCSI-1SCSI-1是最初版本的SCSI,现已过时。SCSI-1具有8位BUS,数据传输率为40Mbps(5MB/sec)。SCSI-2SCSI-2是基于CCS的SCSI-1改进版本,由18条基本命令组成,可以运行在所有的硬件平台上。在FastSCSI和WideSCSI的支持下,SCSI-2在原SCSI-1的基础上传输速率得到了提高。命令序列特性使得SCSI设备能够以最有效的顺序运行命令。FastSCSI的传输速率为10MB/sec,当配合16位BUS时,其传输速率为20MB/sec(Fast-WideSCSI)。SCSI-3SCSI-3是SCSI标准的首个平行界面标准,由Adaptec及SCSITA于1992年制定。SCSI-3在8-bit的线路亦可有20MB/s的速度,而在16-bit的环境亦可有40MB/s。不过,仪器的距离必须在3米(3M)以内。SCSI-3在SCSI-2基础上...
· 代数
定义设A{\displaystyleA}为一交换环,A{\displaystyleA}上的代数(或称A{\displaystyleA}-代数)是下述结构:集合E{\displaystyleE}是个A{\displaystyleA}-模。指定E{\displaystyleE}上的一个二元运算,通常以乘法符号表示:此二元运算是双线性的,换言之:最常考虑的情形是A{\displaystyleA}是一个域,这时称域代数,一些作者也将代数定义成域上的代数。若E{\displaystyleE}上的乘法满换性xy=yx{\displaystylexy=yx},则称之为可交换代数;若E{\displaystyleE}上的乘法满足结合律x(yz)=(xy)z{\displaystylex(yz)=(xy)z},则称之为结合代数,详阅主条目结合代数。交换代数学中考虑的代数均属可交换的结合代数。代数同态设E,F...
· 代数
历史希腊数学家欧几里得在其著作几何原本中详述几何性的代数。代数的起源可以追溯到古巴比伦的时代,当时的人们发展出了较之前更进步的算术系统,使其能以代数的方法来做计算。经由此系统的被使用,他们能够列出含有未知数的方程并求解,这些问题在今日一般是使用线性方程、二次方程和不定线性方程等方法来解答的。相对地,这一时期大多数的埃及人及公元前1世纪大多数的印度、希腊和中国等数学家则一般是以几何方法来解答此类问题的,如在莱因德数学纸草书、绳法经、几何原本及九章算术等书中所描述的一般。希腊在几何上的工作,以几何原本为其经典,提供了一个将解特定问题解答的公式广义化成描述及解答方程之更一般的系统之架构。代数(algebra)导源于阿拉伯语单字“al-jabr”,其出自al-Kitābal-muḫtaṣarfīḥisābal-ğabrwa-l-muqābala这本书的书名上,意指移项和合并同类项之计算的摘要,其为...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信