极简的规范全面格罗布纳系统
摘要：关于具有参数的多项式系统的规范讨论的研究的延续。在本文中，我们定义了参数理想的最小规范全格罗布纳系统（MCCGS），并确定其存在和可计算的假设条件。提供了一个获得MCCGS片段的规范描述的算法，从而完成了整个MCCGS算法（在Maple中实现）。我们展示了其在自动定理证明和发现等应用中的高度实用性，并将其与其他现有方法进行了比较。概述了检测反例的方法，尽管进行了大量测试，但证据表明MCCGS是存在的。
作者：Antonio Montes, Montserrat Manubens
论文ID：math/0611948
分类：Commutative Algebra
分类简称：math.AC
提交时间：2007-05-23