计算机代数软件
SIGSAM维护了对计算机代数系统的引用集合,以支持我们引文政策.单击每个系统的名称以查看更多信息、链接和BibTeX格式的引文。如果您对此列表有修改或添加的建议,请联系信息目录_SIGSAM@acm.org.
通用商业系统
用途广泛自由的计算机代数系统
- 公理:通用,强类型,计算机代数系统。
- 可可:在交换代数中进行计算的计算机代数系统。
- 费马:一个面向有理数和有限域上的多项式和矩阵代数的计算机代数系统。
- 间隙:计算离散代数系统。
- 卡什/坎特:计算机代数系统,用于代数数域和全局函数域的复杂计算。
- 麦考利2:研究系统代数几何和交换代数。
- 马克西玛:Maxima是一个活跃的开源项目或符号和数字表达式的操作。
- 减少:交互式系统数学家感兴趣的一般代数计算,科学家和工程师。
- SageMath公司:一个开源的通用计算机代数系统。
- 单数的:用于多项式计算的计算机代数系统,特别强调交换代数、代数几何和奇点理论的需要。
- PARI/GP公司:计算机代数系统为数论中的快速计算而设计。
专用系统、软件包和库
- 王牌:提供工具的Maple库在代数组合学中很有用。
- 艾伯特:一个交互式程序研究非结合代数的专家。
- 澳大利亚国家统计局:用于计算的GAP包有限呈现群的幂零因子群。
- ANUPQ公司:ANU pq C程序的p-商、p-群生成和标准表示算法的交互式界面。
- 加利福尼亚州:REDUCE包用于计算交换代数。
- 家:代数几何的计算机代数系统。
- 雪佛兰:符号计算的计算机代数系统,带有群的通用字符表。
- EinS公司:Mathematica包允许使用索引对象执行符号计算。
- 费利克斯:一个特殊的计算机代数系统用于交换环和非交换环中的计算模块。
- 费曼图:的Mathematica包费曼图和振幅的生成和可视化。
- GiNaC公司:允许创建将符号操作嵌入到一起的集成系统更成熟的计算机科学领域。
- 葡萄:用于构建和分析与群、有限几何和设计相关的图。
- 番石榴:使用纠错代码进行计算的GAP包。
- 利迪亚:计算数论的C++库。
- LiE公司:李群计算的计算机代数包。
- MOLGEN公司:用于计算与给定分子式相对应的所有结构式。
- ORME公司:方程理论包。
- 鲁比:基于规则的集成包。
- 索纳塔:施工系统有限逼近环的分析。