-
岩浆
- 引用2792篇文章[sw00540]
- 电脑类 代数系统（CAS）。Magma是一个支持良好的大型软件包计算... 诸如群、环、域、模等结构，代数方案，曲线，图表，设计，代码和许多。。。计算的数学领域的研究代数的本质上。概述提供了。。。语言。岩浆是由计算的 代数悉尼大学的小组。。。
-
差距
- 引用2797篇文章[sw00320]
- 系统计算的离散的代数，特别强调计算的群论。GAP提供。。。千函数库实现代数的用GAP语言编写的算法。。。群及其表示，环，向量空间，代数，组合结构，等等。系统，包括。。。把它扩展到你的特殊用途。电脑类 代数系统。。。
-
单数
- 引用于1356篇文章[sw00866]
- 单数是电脑类 代数多项式系统计算交换的代数,代数的几何。。。奇点理论。单数主音计算的对象是各种各样的理想和模块。。。场（例如，有限域、有理数、浮点数，代数的扩展，超越扩展），或其局部化。。。单一功能快速和通用的实现计算Groebner和standard Base，包括Buchberger。。。
-
圣哲
- 参考1577篇文章[sw00825]
- 研究与教学代数几何学，数论，密码学，数值计算，以及相关区域。两者。。。Maple、Mathematica、Magma和MATLAB。电脑类 代数系统。。。
-
麦考拉2
- 在1620篇文章中引用[sw00537]
- 支持研究代数的几何与交换代数他的创作得到了资助。。。从1992年开始。Macaulay2包括计算Gröbner基和分次或多级。。。环的积分闭包，等等。电脑类 代数系统。。。
-
减少
- 引用739篇文章[sw00789]
- 通用交互式系统代数的 计算数学家、科学家和工程师感兴趣的。电脑类 代数...
-
麦克西马
- 引用714篇文章[sw01209]
- 符号数字图形数学软件产品。电脑类 代数系统。。。函数），或执行非常复杂的操作计算通过一个大型Macsyma程序。麦西玛。。。中的数值操作和解决方案功能代数微积分和数值分析二维和三维报告。。。
-
可可
- 参考615篇文章[sw00143]
- 可可是一种计算交换的代数. 它能够执行简单的。。。有理函数）。例如，它可以很容易地计算Grobner基，syzygies和最小自由分辨率。。。大多数平台通用的用户界面。电脑类 代数系统。。。
-
巴黎/GP
- 引用了576篇文章[sw00680]
- PARI/GP是一种广泛使用的电脑类 代数为fast设计的系统（CAS）计算在数量上。。。函数到计算用数学实体，比如矩阵，幂级数，代数的或者p-adic。。。库可以更快地计算...
-
切维
- 引用218篇[sw04235]
- 切维是个计算机 代数符号计算项目与通用字符表组。。。结构。它基于计算机 代数systems GAP和MAPLE。电脑类 代数系统。。。
-
拉帕克
- 引用于1604篇文章[sw00503]
- 计算通过调用基本线性代数子程序（BLA）。LAPACK的设计。。。在许多高性能上促进高效率计算机，特别是如果提供了特殊编码的实现。。。
-
形式
- 在310篇文章中引用[sw09051]
- 电脑类 代数系统（CAS）在理论粒子物理非常大的计算，与一个非常。。。支持多个内核（请参见TFORM）和分布式计算在网络上（ParFORM）。另请参阅。。。
-
康德/卡什
- 参考文献155篇[sw00481]
- KASH/KANT是计算机 代数系统（CAS）用于复杂计算在里面代数的数字域。。。康德是一个程序库计算在里面代数的数字字段，代数的功能区。。。当地油田。在数字字段的情况下，代数的整数被认为是元素。。。为用户提供计算F的许多不变量。有可能。。。
-
几何画板
- 引用224篇[sw04858]
- 学校学生可以建立他们的准备代数通过探索比率和比例，比率。。。计算机实验室或笔记本电脑上。电脑类 代数系统。。。
-
撒谎
- 在147篇文章中引用[sw01075]
- 这使得数学家和物理学家能够计算具有李群理论性质。。。复半单（约化）李群与代数，以及它们的Weyl基团的结构。。。组和代数而是他们自己计算有重量，根，字符和类似的对象。一些。。。关于当前有效的定义和值。电脑类 代数系统。。。
