计算机代数系统

✍ dations ◷ 2025-04-26 02:38:44 #计算机代数系统

计算机代数系统(英语:computer algebra system,缩写作:CAS)是进行符号运算的软件。这种系统的要件是数学表示式的符号运算。

表示式的例子包括:

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

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

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

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

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

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

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

下面是一些在线可用的计算机代数系统的列表:

相关

  • 文部,汉字索引中的部首之一,康熙字典214个部首中的第六十七个(四划的则为第七个)。就繁体和简体中文中,文部归于四划部首。文部通常是从上、下、左、中方均可为部字。且无其他部
  • CdS硫化镉是硫和镉的无机化合物,化学式为CdS。它是一种N型光电导半导体材料。属Ⅱ-Ⅵ族化合物半导体。分子量144.476,属六方晶格结构,晶格常数5.86×10-10m,熔点1750℃,禁带宽度2.
  • 卢图利艾伯特·约翰·卢图利(Albert John Lutuli,1898年-1967年7月21日),祖鲁语名Mvumbi,是一位南非籍教师和政治家。卢图利曾任南非非洲人国民大会(ANC)党主席,领导反对南非白人少数派政府
  • 同染色体性别同染色体性别是指一个物种的性别中,其两条性染色体为相同的。以人为例,女性的性染色体由两条X染色体组成,为两条相同的性染色体。雌性即为同染色体性别。在部分的鸟类和爬虫类
  • 胀子在粒子物理学中,胀子(英语:Dilaton)是额外维度理论中当允许紧致化的维度的体积变化时出现的一种假想粒子。它所出现的形式,例如作为卡鲁扎-克莱因理论中紧致化的维度中的引力标量
  • 台湾藜台湾藜(学名:Chenopodium formosanum)为苋科藜亚科藜属之台湾原生种植物。传统称为红藜,于2008年12月正名为台湾藜,是台湾原住民耕作百年以上的传统作物,布农语称为mukun,排湾语称
  • 全等三角形全等三角形指两个全等的三角形,它们的三条边及三个角都应对等。全等三角形是几何中全等之一。根据全等转换,两个全等三角形可以平移、旋转、把轴对称,或重叠等。全等的数学符号
  • 卡萝·丹佛斯卡罗尔·丹佛斯(英语:Carol Danvers),是漫威漫画中的虚构超级英雄角色,由作家罗伊·汤玛斯(英语:Roy Thomas)和艺术家吉恩·科兰(英语:Gene Colan)所创作。卡罗尔·丹佛斯首次于《漫威
  • 心 (脏腑)在传统中医学里的脏象学说中,心是五脏六腑中最主要的部分,在五行中属火,为神之居,血之主,脉之宗。心与生物学中的心脏大致上是同一个构造。型态描述上,《医宗必读》形容心为“心象
  • 硬拉硬举(英语:Deadlift),又称拉举、硬拉,是一种负重训练,主要用于锻炼下背部即竖脊肌、臀部肌肉和大腿肌肉,是世界力量举重锦标赛(WWC, World Weightlifting Championship)的项目之一,另