计算机代数

✍ dations ◷ 2025-09-02 16:53:11 #计算机代数

计算机代数系统（英语：computer algebra system，缩写作：CAS）是进行符号运算的软件。这种系统的要件是数学表示式的符号运算。表示式的例子包括：以下是几种典型的符号运算：通常计算机代数系统还能进行一些数值运算：在数值运算方面，计算机代数系统的速度通常较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。下面是一些在线可用的计算机代数系统的列表：

相关

急性支气管炎支气管炎又分作急性支气管炎与慢性支气管炎，是肺部中型支气管的炎症。急性支气管炎通常是由病毒或细菌感染引起。可以持续数天或数周。急性支气管炎是肺部支气管（中至大的大小
圣萨尔瓦多圣萨尔瓦多（西班牙语：San Salvador）简称萨京，是萨尔瓦多的首都及第一大城。最早中美洲的比比尔族（pipil）曾在今圣萨尔瓦多一带建立了首都Cuzcatlán，但后来被遗弃。其后在16世纪，西
直觉主义在数学哲学和逻辑中，直觉主义（英语：Intuitionism），或者新直觉主义（Neointuitionism ）（对应于前直觉主义（Preintuitionism）），是用人类的构造性思维活动进行数学研究的方法。也可翻译成直
邓析邓析（前545年－前501年），春秋时代末年郑国思想家。名家的重要人物。邓析与政治家子产同时，名家思想之创先者，著有《邓析子》，有无厚篇与转辞篇两篇，无厚篇二十一段，转辞篇十七段。
bspan style=color:white;巴利阿里群岛/span/b巴利阿里群岛（加泰罗尼亚语：Illes Balears，.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000",
掘足纲原口动物 Protostomia掘足纲是软体动物门的一个纲。全部是海产泥沙中穴居的一类小型软体动物，仅有350种左右。海生，直至7000米可见其踪迹。贝壳长，似象牙，管状，成细弯刀型，两端开
印度卢比印度卢比（印地语：रुपया）是印度的法定货币，通常会使用Rs作为简写，ISO 4217的编码则为INR。2010年7月15日，印度政府宣布启用新的货币符号（₹）。在当地，卢比在不同地区有不少别名，有
cDNA基因库cDNA文库筛选在基因功能研究中的应用较早，然而早期的cDNA文库均为“混合型”（pooled），筛选后的回收鉴定工作非常繁杂。近年来由于人类及其它一些物种的全基因组测序工作的完成，使
Hypatia希帕提娅（古希腊语：Ὑπατία，生于约350年－370年之间，死于415年3月），又译作海芭夏、海帕西娅，著名的希腊化古埃及新柏拉图主义学者，是当时名重一时、广受欢迎的女性哲学家、数学家
油煎香肠德国油煎香肠（德语：Bratwurst）是一种由小牛肉、猪肉或牛肉制成的德国香肠。它的原文名称源自古高地德语的“brätwurst”，由“brät-”（绞肉）和“-wurst”（香肠）组成，意示香肠的制法；