A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity

doi:10.1007/s11424-016-5040-5

CSpace > 系统科学研究所

	A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity
	Zhu Wei; Gao Xiao-Shan
	2017-04-01
发表期刊	JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY
ISSN	1009-6124
卷号	30 期号:2 页码:464-483
摘要	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.
关键词	Differential polynomial system regular triangular set saturated triangular set triangular decomposition
DOI	10.1007/s11424-016-5040-5
语种	英语
资助项目	National Natural Science Foundation of China[60821002] ; National Key Basic Research Project of China
WOS研究方向	Mathematics
WOS类目	Mathematics, Interdisciplinary Applications
WOS记录号	WOS:000397332200013
出版者	SPRINGER HEIDELBERG
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/25006
专题	系统科学研究所
通讯作者	Zhu Wei
作者单位	Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Zhu Wei,Gao Xiao-Shan. A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity[J]. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY,2017,30(2):464-483.
APA	Zhu Wei,&Gao Xiao-Shan.(2017).A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity.JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY,30(2),464-483.
MLA	Zhu Wei,et al."A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity".JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY 30.2(2017):464-483.