计算参数多项式系统的最小全面Gröbner基的算法
摘要：从任意可信赖的综合格布纳系统生成一个最小综合格布纳基础的参数多项式系统算法的提出。参数多项式理想的基础是一个综合格布纳基础，当且仅当在特定域中参数的每次特化，基础的特化是相关特别多项式理想的格布纳基础。确保最小化采用的关键思想是一个多项式在综合格布纳基础中是否是必要的。通过在综合格布纳系统关联分支的其他多项式中检查是否能够覆盖多项式进行必要性检查。这个算法已经被实现，并在许多文献示例上成功尝试过。
作者：Deepak Kapur and Yiming Yang
论文ID：2003.07957
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2020-03-19