通过基于签名的Gröbner基算法解决多项式环的可分离性问题
摘要：基于签名的算法是计算格罗布纳基础的一种常用算法，包括著名的F5算法、F5C、扩展的F5、G2V和GVW算法。本文提出了一种解决可分离性问题的高效方法。这种新方法仅使用基于签名的算法的输出，不需要额外的格罗布纳基础计算。当通过基于签名的算法获得一个格罗布纳基础时，可分离性问题可以在多项式时间内解决。
作者：Yao Sun, Dingkang Wang
论文ID：1108.1301
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2011-08-08