运营商GB swMATH ID: 36831 软件作者： 西里尔·切纳维尔；霍夫斯塔德勒，克莱门斯；克莱门斯·G·拉布。；乔治·雷根斯堡 描述： 证明算子恒等式的非交换多项式的兼容重写。本文的目的是利用非对易多项式之间的等式证明算子恒等式。一般来说，多项式表达式在运算符方面无效，因为它可能与相应运算符的域和余域不兼容。最近，一些作者引入了一个基于标记箭图的框架，将多项式恒等式严格转换为算子恒等式。在本文中，我们将该框架扩展并适应重写和多项式约简的上下文。我们给出了用于重写的多项式的一个充分条件，以确保标准多项式约简自动尊重算子的域和余域。最后，我们采用非交换的Buchberger程序来计算额外的兼容多项式以进行重写。在OperatorGB包中，我们还提供了所开发概念的实现。 主页： http://gregensburger.com/softw/operatorgb/ 依赖项： 数学软件 关键词： 自动校样;完成;非对易多项式;颤动表示;重写 相关软件： 信件位置;交错.mpl;数学软件 引用于： 6文件 标准条款 2出版物描述软件，包括2出版物在zbMATH中 年份 计算理想中某种形式的元素以证明算子的性质。 Zbl 1529.16043号克莱门斯·霍夫斯塔德勒;克莱门斯·G·拉布。;乔治·雷根斯堡 2022 证明算子恒等式的非交换多项式的兼容重写。 兹比尔07300057西里尔·切纳维尔;克莱门斯·霍夫斯塔德勒;克莱门斯·G·拉布。;乔治·雷根斯堡 2020 全部的 前5名8位作者引用 5 克莱门斯·霍夫斯塔德勒 4 克莱门斯·G·拉布。 4 乔治·雷根斯堡 2 贾马尔·侯赛因·普尔 2 蒂鲍特·韦伦 1 西里尔·切纳维尔 1 Cvetković-Ilić，Dragana S。 1 约瓦纳，米洛舍维奇 4篇连载文章中引用 1 应用数学与计算 1 纯粹与应用代数杂志 1 符号计算杂志 1 计算机科学中的数学 全部的 前5名在6个字段中引用 5 计算机科学（68至XX） 三 结合环与代数（16-XX） 2 交换代数（13-XX） 2 算子理论（47-XX） 1 数学逻辑和基础（03-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 按年份列出的引文