23 citations · 65 across the 12 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.SC2014
A Monomial-Oriented GVW for Computing Gröbner Bases
Yao Sun, Dingkang Wang, Zhenyu Huang +1
The GVW algorithm, presented by Gao et al., is a signature-based algorithm for computing Gröbner bases. In this paper, a variant of GVW is presented. This new algorithm is called a…
cs.SC2014★ 9 cited
On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method
Zhenyu Huang, Yao Sun, Dongdai Lin
An improved characteristic set algorithm for solving Boolean polynomial systems is proposed. This algorithm is based on the idea of converting all the polynomials into monic ones b…
cs.SC2014★ 4 cited
An Improvement over the GVW Algorithm for Inhomogeneous Polynomial Systems
Yao Sun, Dongdai Lin, Dingkang Wang
The GVW algorithm is a signature-based algorithm for computing Gröbner bases. If the input system is not homogeneous, some J-pairs with higher signatures but lower degrees are reje…