中国科学院数学与系统科学研究院期刊网
JSSC
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Gr¨obner Basis Algorithms Using Linear Algebra
SUN Yao,HUANG Zhenyu,LIN Dongdai,WANG Dingkang
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Gr¨obner Basis Algorithms Using Linear Algebra
SUN Yao,HUANG Zhenyu,LIN Dongdai,WANG Dingkang
Journal of Systems Science and Complexity . 2016, (3): 789 -804 .  DOI: 10.1007/s11424-015-4085-1