摘要：基于M-GVW的GVW算法变体及其在求解布尔多项式环中的应用
作者：Yao Sun, Dongdai Lin, Dingkang Wang
论文ID：1404.1428
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2014-04-16
PDF 下载： 英文版 中文版pdf翻译中