中国科学院数学与系统科学研究院期刊网
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity
ZHU Wei,GAO Xiao-Shan
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity
ZHU Wei,GAO Xiao-Shan
Journal of Systems Science and Complexity . 2017, (2): 464 -483 .  DOI: 10.1007/s11424-016-5040-5