Sparse differential resultant

  • Authors:
  • Wei Li;Xiao-Shan Gao;Cum-Ming Yuan

  • Affiliations:
  • KLMM, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, China;KLMM, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, China;KLMM, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, China

  • Venue:
  • Proceedings of the 36th international symposium on Symbolic and algebraic computation
  • Year:
  • 2011
  • Sparse difference resultant

    Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation

Quantified Score

Hi-index 0.01

Visualization

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.