马斯

MAS(Modula-2代数系统)是帕索大学开发的实验性计算机代数系统(CAS)。MAS将命令式编程工具与代数规范功能结合起来,用于代数算法的设计和研究。它包含了一个大型的已实现的Groebner基算法库,适用于几乎所有存在此类方法的代数结构。MAS还包括实量词消除、参数实根计数和(非对易)多项式环计算的算法。