蛋白石 swMATH ID: 21958 软件作者: 爱德华·L·格林。;希思,伦伍德S。;本杰明·凯勒。 描述: Opal:计算非交换Gröbner碱的系统。Opal是一个交互式系统,用于计算路径代数中的非交换代数中的Gröbner基。该系统的主要目的是支持代数研究,但该系统也用于不同允许阶数和算法变化的实验。Opal是用C++编写的,使用Gnu C++库(libg++)和LiDIA库以及Flex和Purdue编译器构造工具集(PCCTS)生成的代码[T.J.Parr和R.W.Quong,“ANTLR:谓词LL(k)解析器生成器”,Softw.,Pract.Exper.25,No.7,789–810(1995;doi:10.1002/spe.4380250705)]。我们简要介绍了蛋白石。我们首先定义路代数并给出它们与其他代数的关系。然后描述了Opal的功能及其接口,并简要讨论了其实现和模块结构。最后,提出了系统和接口的计划扩展。 主页: https://link.springer.com/chapter/10.1007%2F3-540-62950-5_83 相关软件: 国家编目局;ANTLR公司;PCCTS公司;利迪亚;伯格曼;字母位置;安尼克;GBNP公司;费利克斯;岩浆;单一;复数;NCAlgebra大学;数学软件 引用于: 3文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Opal:计算非交换Gröbner碱的系统。 Zbl 1379.68365号爱德华·L·格林。;莱恩伍德·S·希思。;本杰明·凯勒。 1997 全部的 前5名6位作者引用 1 Dell Kronewitter,F。 1 格林,爱德华·李 1 莱恩伍德·S·希思。 1 本杰明·凯勒。 1 罗伯托·斯卡拉 1 维克托·列万多夫斯基 2篇连载文章中引用 1 符号计算杂志 1 线性代数及应用 在4个字段中引用 2 结合环与代数(16-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 计算机科学(68至XX) 按年份列出的引文