中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
anewproofforthecorrectnessofthef5algorithm 期刊论文
sciencechinamathematics, 2013, 卷号: 56, 期号: 4, 页码: 745
作者:  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载：72/0  |  提交时间：2020/01/10
A new proof for the correctness of the F5 algorithm 期刊论文
中国科学:数学(英文版), 2013, 卷号: 56, 期号: 4, 页码: 745-756
作者:  Sun Yao;  Wang DingKang
收藏  |  浏览/下载：103/0  |  提交时间：2021/01/14
GROBNER BASES  Grobner basis  F5  F5B  correctness of F5  
Characteristic Modules of Dual Extensions and Grobner Bases 期刊论文
ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2004, 卷号: 20, 期号: 6, 页码: 1119-1130
作者:  Xu, Yun Ge;  Li, Long Cai
收藏  |  浏览/下载：92/0  |  提交时间：2018/07/30
Quasi-hereditary algebra  Dual extension  Characteristic module  (Left) Grobner basis