Characteristic set method for differential-difference polynomial systems

doi:10.1016/j.jsc.2008.02.010

CSpace

	Characteristic set method for differential-difference polynomial systems
	Gao, X. S.1; Van der Hoeven, J.2; Yuan, C. M.1; Zhang, G. L.1
	2009-09-01
发表期刊	JOURNAL OF SYMBOLIC COMPUTATION
ISSN	0747-7171
卷号	44 期号:9 页码:1137-1163
摘要	In this paper, we present a characteristic set method for mixed differential and difference polynomial systems. We introduce the concepts of coherent, regular, proper irreducible, and strongly irreducible ascending chains and study their properties. We give an algorithm which can be used to decompose the zero set for a finitely generated differential and difference polynomial sets into the union of the zero sets of regular and consistent ascending chains. As a consequence, we solve the perfect ideal membership problem for differential and difference polynomials. (C) 2009 Elsevier Ltd. All rights reserved.
关键词	Characteristic set Differential and difference polynomial Regular ascending chain Irreducible ascending chain Zero decomposition algorithm Perfect ideal membership problem
DOI	10.1016/j.jsc.2008.02.010
语种	英语
WOS研究方向	Computer Science ; Mathematics
WOS类目	Computer Science, Theory & Methods ; Mathematics, Applied
WOS记录号	WOS:000267171200004
出版者	ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/7374
专题	中国科学院数学与系统科学研究院
通讯作者	Gao, X. S.
作者单位	1.Chinese Acad Sci, KLMM, Inst Syst Sci, AMSS, Beijing 100190, Peoples R China 2.Univ Paris 11, CNRS, Dept Math, F-91405 Orsay, France
推荐引用方式 GB/T 7714	Gao, X. S.,Van der Hoeven, J.,Yuan, C. M.,et al. Characteristic set method for differential-difference polynomial systems[J]. JOURNAL OF SYMBOLIC COMPUTATION,2009,44(9):1137-1163.
APA	Gao, X. S.,Van der Hoeven, J.,Yuan, C. M.,&Zhang, G. L..(2009).Characteristic set method for differential-difference polynomial systems.JOURNAL OF SYMBOLIC COMPUTATION,44(9),1137-1163.
MLA	Gao, X. S.,et al."Characteristic set method for differential-difference polynomial systems".JOURNAL OF SYMBOLIC COMPUTATION 44.9(2009):1137-1163.