CSpace

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

已选(0)清除 条数/页:   排序方式:
anewproofforthecorrectnessofthef5algorithm 期刊论文
sciencechinamathematics, 2013, 卷号: 56, 期号: 4, 页码: 745
作者:  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载:65/0  |  提交时间:2020/01/10
A new proof for the correctness of the F5 algorithm 期刊论文
中国科学:数学(英文版), 2013, 卷号: 56, 期号: 4, 页码: 745-756
作者:  Sun Yao;  Wang DingKang
收藏  |  浏览/下载:90/0  |  提交时间:2021/01/14
GROBNER BASES  Grobner basis  F5  F5B  correctness of F5  
The F5 algorithm in Buchberger's style 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2011, 卷号: 24, 期号: 6, 页码: 1218-1231
作者:  Sun, Yao;  Wang, Dingkang
收藏  |  浏览/下载:74/0  |  提交时间:2018/07/30
Buchberger's style  F5 algorithm  Grobner basis