摘要：Groebner基础集在布尔环中的元素数量无法在输入的位数和次数上以多项式方式界定的示例。
作者：Mark van Hoeij
论文ID：1502.07220
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-02-27
PDF 下载： 英文版 中文版pdf翻译中