onimplementingthesymbolicpreprocessingfunctionoverbooleanpolynomialringsingrobnerbasisalgorithmsusinglinearalgebra

CSpace > 系统科学研究所

	onimplementingthesymbolicpreprocessingfunctionoverbooleanpolynomialringsingrobnerbasisalgorithmsusinglinearalgebra
	Sun Yao 1; Huang Zhenyu 1; Lin Dongdai 1; Wang Dingkang2
	2016-01-01
发表期刊	journalofsystemsscienceandcomplexity
ISSN	1009-6124
卷号	29 期号:3 页码:789
摘要	Some techniques using linear algebra was introduced by Faugere in F4 to speed up the reduction process during Grobner basis computations. These techniques can also be used in fast implementations of F5 and some other signature-based Grobner basis algorithms. When these techniques are applied, a very important step is constructing matrices from critical pairs and existing polynomials by the Symbolic Preprocessing function (given in F4). Since multiplications of monomials and polynomials are involved in the Symbolic Preprocessing function, this step can be very costly when the number of involved polynomials/monomials is huge. In this paper, multiplications of monomials and polynomials for a Boolean polynomial ring are investigated and a specific method of implementing the Symbolic Preprocessing function over Boolean polynomial rings is reported. Many examples have been tested by using this method, and the experimental data shows that the new method is very efficient.
语种	英语
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/40483
专题	系统科学研究所
作者单位	1.中国科学院信息工程研究所 2.中国科学院数学与系统科学研究院
推荐引用方式 GB/T 7714	Sun Yao,Huang Zhenyu,Lin Dongdai,et al. onimplementingthesymbolicpreprocessingfunctionoverbooleanpolynomialringsingrobnerbasisalgorithmsusinglinearalgebra[J]. journalofsystemsscienceandcomplexity,2016,29(3):789.
APA	Sun Yao,Huang Zhenyu,Lin Dongdai,&Wang Dingkang.(2016).onimplementingthesymbolicpreprocessingfunctionoverbooleanpolynomialringsingrobnerbasisalgorithmsusinglinearalgebra.journalofsystemsscienceandcomplexity,29(3),789.
MLA	Sun Yao,et al."onimplementingthesymbolicpreprocessingfunctionoverbooleanpolynomialringsingrobnerbasisalgorithmsusinglinearalgebra".journalofsystemsscienceandcomplexity 29.3(2016):789.