论文标题翻译为：计算理想中某种形式的元素以证明运算符的性质
摘要：线性算符的论断经常以恒等式的形式表达，导致寻找非交换多项式理想中特定形式的元素。我们通过实际算符论断的例子来说明这一点，并讨论基于非交换 Gr"obner 基础的寻找这种多项式的相关算法方法。具体而言，我们提出了计算双边理想与单边理想的交集以及计算双边理想中的齐次多项式和单边理想中的单项式的算法。本文中所提出的所有方法都已在Mathematica软件包OperatorGB中实现。
作者：Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
论文ID：2110.12933
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2022-06-20