计算机代数系统

✍ dations ◷ 2025-06-08 02:52:18 #计算机代数系统

计算机代数系统(英语: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。

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

相关

  • 尸斑尸斑(Livor mortis)是指动物死亡后,血液循环停止,血液停留在尸体的低处,红血球从血清中进一步分离沉积,在表皮下形成可见的紫红色淤斑现象。人类的尸斑一般在死亡后0.5-2小时开始
  • 酸酐水解酶酸酐水解酶是一类催化酸酐键水解的水解酶。它们被归类于EC编号 3.6。该类中一个众所周知的成员是GTPase。EC 1.1/2/3/4/5/6/7/8/9/10/11/12/13/14/15/16/17/18/19/20/21/22
  • 北魏北魏(386年-534年)是北朝时期的第一个朝代,由鲜卑人拓跋珪所建立,定都平城(遗址在今山西省大同市)。439年,魏太武帝统一华北,与南方的汉人政权对峙。494年,魏孝文帝迁都洛阳。495年,孝
  • 薄荷详见内文薄荷属(学名:Mentha),为唇形科的一属,包含25个种,其中辣薄荷(M. × piperita)及留兰香(M. spicata)为最常见的品种。最早期于欧洲地中海地区及西亚一带盛产。现时主要产地为美
  • B-52同温层堡垒轰炸机B-52“同温层堡垒”(英语:B-52 Stratofortress)是美国波音飞机公司研制的八发动机远程战略轰炸机,用于替换B-36和平缔造者轰炸机执行战略轰炸任务。1948年提出设计方案,1952年第
  • span class=nowrapIrClsub4/sub/span四氯化铱是一种无机化合物,化学式为IrCl4,为水溶性的暗褐色无定形固体。四氯化铱的结构未得到准确表征,分子中会含有少量水和氯铱(IV)酸。它用于制备催化剂,如Henbest催化剂,可用
  • 染色体数目本条目罗列若干植物,动物,寄生生物及其他生物的二倍体(2n)的染色体数目。
  • 异担子菌纲异担子菌亚纲(Heterobasidiomycetes)或胶质菌(jelly fungi),是真菌下属担子菌门的一类。异担子菌亚纲的真菌其担子中有分隔,所以也为称为有隔担子亚纲。此纲包括常见的“黑木耳”
  • 消防高等专科学校坐标:25°00′00″N 102°50′05″E / 25.00000°N 102.83472°E / 25.00000; 102.83472消防高等专科学校,是应急管理部消防救援局直属的一所专门消防救援学校,校址位于云南省
  • 1930年德国国会选举海因里希·布吕宁 德国中央党无 (海因里希·布吕宁保持他未经选举获得的总理职位) 1930年德国国会选举发生于当年的9月14日。尽管失去了十个议席,德国社会民主党(简称SPD)仍是