计算机代数

✍ dations ◷ 2025-06-28 06:45:40 #计算机代数

计算机代数系统（英语：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。下面是一些在线可用的计算机代数系统的列表：

相关

WoRMS世界海洋物种目录（英语：World Register of Marine Species，缩写为WoRMS），是一个生物学数据库，致力于提供一个具有公信力与全面性的海洋物种目录。世界海洋物种目录不仅收录生物的
萎缩性胃炎萎缩性胃炎（更确切的称为A型或B型胃炎）是一种胃粘膜的慢性炎症，导致胃腺细胞丧失，并最终由肠和纤维组织取代。因此，胃的分泌胃酸，胃蛋白酶和内因子功能受损，导致消化功能出现问题，如
太阳星云太阳星云学说是让地球所在的太阳系形成的气体云气，这个星云假说最早是在1734年由伊曼纽·斯威登堡提出的。在1755年，熟知斯威登堡工作的康德将理论做了更进一步的开发，他认为在
哈柏法哈伯法（也称哈伯-博施法，德文：Haber-Bosch-Verfahren，英文：Haber Process，也称Haber-Bosch process或Fritz-Haber Process）是通过氮气及氢气产生氨气（NH3）的过程。氮气及氢气在200个
Hachimoji八文字DNA（英语：Hachimoji DNA，Hachimoji源自日语“八文字”的发音），是一种人工合成的核酸类似物，除含有四种天然DNA中含有的碱基腺嘌呤（A）、胸腺嘧啶（T）、鸟嘌呤（G）、胞嘧啶（C）外，还含有另
巴什基尔族1,584,554巴什基尔人（巴什基尔语：Башҡорттар başqorttar）是一个主要生活在俄罗斯巴什科尔托斯坦共和国的突厥民族。此外在鞑靼斯坦共和国以及俄罗斯的彼尔姆边疆区
布罗克顿市布罗克顿（英语：Brockton）位于美国马萨诸塞州东南部，是普利茅斯县的县治所在，面积55.9平方公里。根据2010年美国人口普查，共有93,810人，其中白人占46.7%、非裔美国人占31.2%、亚裔美
谢普塞斯卡弗谢普塞斯卡弗（英语Shepseskaf）古埃及古王国时期第四王朝的国王（约公元前2503年—约公元前2498年在位）。作为儿子继承了父王的王位。他的名字意思是“灵魂高贵。”他打破传统，在萨
南海子麋鹿苑坐标：39°46′44″N 116°27′28″E / 39.77889°N 116.457868°E / 39.77889; 116.457868北京麋鹿生态实验中心，又名北京生物多样性保护研究中心、北京南海子麋鹿苑博物馆，位
旧莱姆镇旧莱姆（英语：Old Lyme）是一个位于美国康涅狄格州新伦敦县的城镇。旧莱姆的座标为41°19′00″N 72°28′00″W / 41.31667°N 72.46667°W / 41.31667; -72.46667，而该地的平均