Wei Li 0056

dblp:64/6025-56 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
1since 2021 · last 2021
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 3 first-author · 1 since 2021
YearPublicationVenuePosition
2021 Unirational differential curves and differential rational parametrizations
Wei Li 0056
J. Symb. Comput.2
2015 Sparse difference resultant
Wei Li 0056, Chun-Ming Yuan, Xiao-Shan Gao
J. Symb. Comput.1
2013 Sparse difference resultant
abstract
In this paper, the concept of sparse difference resultant for a Laurent transformally essential system of Laurent difference polynomials is introduced and its properties are proved. In particular, order and degree bounds for the sparse difference resultant are given. Based on these bounds, an algorithm to compute the sparse difference resultant is proposed, which is single exponential in terms of the number of variables, the Jacobi number, and the size of the system. Also, the precise order, degree, a determinant representation, and a Poisson-type product formula for the difference resultant are given.
Wei Li 0056, Chun-Ming Yuan, Xiao-Shan Gao
ISSAC1
2011 Sparse differential resultant
abstract
In this paper, the concept of sparse differential resultant for a differentially essential system of differential polynomials is introduced and its properties are proved. In particular, a degree bound for the sparse differential resultant is given. Based on the degree bound, an algorithm to compute the sparse differential resultant is proposed, which is single exponential in terms of the order, the number of variables, and the size of the differentially essential system.
Wei Li 0056, Xiao-Shan Gao, Chun-Ming Yuan
ISSAC1