CSpace

浏览/检索结果: 共1条,第1-1条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
A new proof for the correctness of the F5 algorithm 期刊论文
中国科学:数学(英文版), 2013, 卷号: 56, 期号: 4, 页码: 745-756
作者:  Sun Yao;  Wang DingKang
收藏  |  浏览/下载:89/0  |  提交时间:2021/01/14
GROBNER BASES  Grobner basis  F5  F5B  correctness of F5