The F5 algorithm in Buchberger's style

doi:10.1007/s11424-011-0218-3

CSpace > 系统科学研究所

	The F5 algorithm in Buchberger's style
	Sun, Yao; Wang, Dingkang
	2011-12-01
发表期刊	JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY
ISSN	1009-6124
卷号	24 期号:6 页码:1218-1231
摘要	The famous F5 algorithm for computing Grobner basis was presented by FaugSre in 2002. The original version of F5 is given in programming codes, so it is a bit difficult to understand. In this paper, the F5 algorithm is simplified as F5B in a Buchberger's style such that it is easy to understand and implement. In order to describe F5B, we introduce F5-reduction, which keeps the signature of labeled polynomials unchanged after reduction. The equivalence between F5 and F5B is also shown. At last, some versions of the F5 algorithm are illustrated.
关键词	Buchberger's style F5 algorithm Grobner basis
DOI	10.1007/s11424-011-0218-3
语种	英语
资助项目	NKBRPC[2011CB302400] ; NSFC[10971217] ; NSFC[60821002/F02]
WOS研究方向	Mathematics
WOS类目	Mathematics, Interdisciplinary Applications
WOS记录号	WOS:000297798800015
出版者	SPRINGER HEIDELBERG
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/11607
专题	系统科学研究所
通讯作者	Sun, Yao
作者单位	Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Sun, Yao,Wang, Dingkang. The F5 algorithm in Buchberger's style[J]. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY,2011,24(6):1218-1231.
APA	Sun, Yao,&Wang, Dingkang.(2011).The F5 algorithm in Buchberger's style.JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY,24(6),1218-1231.
MLA	Sun, Yao,et al."The F5 algorithm in Buchberger's style".JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY 24.6(2011):1218-1231.