8 citations · 12 across the 4 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
cs.SC2018★ 3 cited
Complexity Estimates for Fourier-Motzkin Elimination
Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi
In this paper, we propose a new method for removing all the redundant inequalities generated by Fourier-Motzkin elimination. This method is based on an improved version of Balas' w…
cs.SC2016★ 8 cited
A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x]
Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao
In this paper, a polynomial-time algorithm is given to compute the generalized Hermite normal form for a matrix F over Z[x], or equivalently, the reduced Groebner basis of the Z[x]…