1. Sparse Differential Resultant for Laurent Differential Polynomials.
- Author
-
Li, Wei, Yuan, Chun-Ming, and Gao, Xiao-Shan
- Subjects
DIFFERENTIAL dimension polynomials ,POLYNOMIALS ,ALGORITHMS ,DIFFERENTIAL algebra ,MATRICES (Mathematics) - Abstract
In this paper, we first introduce the concept of Laurent differentially essential systems and give a criterion for a Laurent differential polynomial system to be Laurent differentially essential in terms of its support matrix. Then, the sparse differential resultant for a Laurent differentially essential system is defined, and its basic properties are proved. In particular, order and degree bounds for the sparse differential resultant are given. Based on these bounds, an algorithm to compute the sparse differential resultant is proposed, which is single exponential in terms of the Jacobi number and the size of the system. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF