F5(类似F5)算法正确性的新证明

摘要:F5算法与其等价版本的完全正确性证明

作者:Yao Sun and Dingkang Wang

论文ID:1004.0084

分类:Symbolic Computation

分类简称:cs.SC

提交时间:2010-07-01

PDF 下载: 英文版 中文版pdf翻译中