摘要：F5算法与其等价版本的完全正确性证明
作者：Yao Sun and Dingkang Wang
论文ID：1004.0084
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2010-07-01
PDF 下载： 英文版 中文版pdf翻译中