一个计算$Q$上Groebner基的概率和确定性模块化算法
摘要：计算机代数系统中广泛使用模块化算法，例如高效计算多元多项式的最大公因式。已知该算法适用于计算$Q$上的格罗布纳基，但在计算机代数系统实现者中似乎并不流行。在本文中，我将展示如何以给定的错误概率（如果需要验证的是经过认证的格罗布纳基，则可能为0）检查候选格罗布纳基（通过不同素数模重构多个格罗布纳基获得）。该算法现在是Giac/Xcas计算机代数系统使用的默认算法，并具有竞争性能，这要归功于一种技巧，可以在计算模另一个素数后加速计算模素数的格罗布纳基。
作者：Bernard Parisse (IF)
论文ID：1309.4044
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-11-19