带有约简机的格罗布纳基
摘要：计算 Gröbner 基础的计算中，我们做出了贡献。对于多项式简化，我们选择一个多项式的主导单项式作为简化过程所依据的单项式，我们探究了如果我们任意选择会发生什么。事实证明，不仅这是可能的（这个事实在文献中已经被认为是产生正常形式的），而且对于固定的模约束选择，得到的正常形式无论我们以何种顺序简化单项式都是相同的。为了证明这一点，我们引入了规约机器，它们通过独立规约每一个单项式然后收集结果来工作。我们证明这样的机器可以模拟任何这样的规约。然后，我们讨论了这些机器的不同实现。其中一些实现解决了规约机器中固有的低效率（重复相同的计算）。我们描述了第一个实现并查看了一些实验结果。
作者：Georgiana c{S}urlea (Department of Computer Science, West University. Timic{s}oara, Romania), Adrian Cru{a}ciun (Department of Computer Science, West University. Timic{s}oara, Romania)
论文ID：1909.01746
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2019-09-05