activity
20102021
most citedA Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x]

8 citations · 44 across the 14 of their papers we have counts for

collaborators
Showing cs.SCShow all

8 papers · 1 filter

cs.SC2018★ 2 cited

New bounds and efficient algorithm for sparse difference resultant

Chun-Ming Yuan, Zhi-Yong Zhang

The sparse difference resultant introduced in \citep{gao-2015} is a basic concept in difference elimination theory. In this paper, we show that the sparse difference resultant of a…

cs.SC2018★ 3 cited

Quantum Algorithm for Optimization and Polynomial System Solving over Finite Field and Application to Cryptanalysis

Yu-Ao Chen, Xiao-Shan Gao, Chun-Ming Yuan

In this paper, we give quantum algorithms for two fundamental computation problems: solving polynomial systems over finite fields and optimization where the arguments of the object…

cs.SC2016★ 1 cited

Toric Difference Variety

Xiao-Shan Gao, Zhang Huang, Jie Wang +1

In this paper, the concept of toric difference varieties is defined and four equivalent descriptions for toric difference varieties are presented in terms of difference rational pa…

cs.SC2016★ 1 cited

Binomial Difference Ideals

Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan

In this paper, binomial difference ideals are studied. Three canonical representations for Laurent binomial difference ideals are given in terms of the reduced Groebner basis of Z[…

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]…

cs.SC2012

Sparse Difference Resultant

Wei Li, Chun-Ming Yuan, Xiao-Shan Gao

In this paper, the concept of sparse difference resultant for a Laurent transformally essential system of difference polynomials is introduced and a simple criterion for the existe…

cs.SC2012★ 3 cited

Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials

Zhi-Yong Zhang, Chun-Ming Yuan, Xiao-Shan Gao

In this paper, a matrix representation for the differential resultant of two generic ordinary differential polynomials and in the differential indeterminate with or…

cs.SC2011★ 5 cited

Sparse Differential Resultant for Laurent Differential Polynomials

Wei Li, Chun-Ming Yuan, Xiao-Shan Gao

In this paper, we first introduce the concept of Laurent differentially essential systems and give a criterion for Laurent differentially essential systems in terms of their suppor…