
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity
ZHU Wei,GAO Xiao-Shan
Journal of Systems Science & Complexity ›› 2017, Vol. 30 ›› Issue (2) : 464-483.
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity
In this paper, a new triangular decomposition algorithm is proposed for ordinary differential polynomial systems, which has triple exponential computational complexity. The key idea is to eliminate one algebraic variable from a set of polynomials in one step using the theory of multivariate resultant. This seems to be the first differential triangular decomposition algorithm with elementary computation complexity.
/
〈 |
|
〉 |