On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra
复制标题
用线性代数实现 Grobner 基算法中布尔多项式环的符号预处理函数
DOI：
10.1007/s11424-015-4085-1
复制
发表时间：
2016
影响因子：
2.1
通讯作者：
Wang Dingkang
中科院分区：
文献类型：
--
作者：
Sun Yao;Huang Zhenyu;Lin Dongdai;Wang Dingkang
