中国科学院数学与系统科学研究院期刊网
THE F5 ALGORITHM IN BUCHBERGER'S STYLE
Yao SUN, Dingkang WANG
THE F5 ALGORITHM IN BUCHBERGER'S STYLE
Yao SUN, Dingkang WANG
Journal of Systems Science and Complexity . 2011, (6): 1218 -1231 .  DOI: 10.1007/s11424-011-0218-3