Automated reasoning and equation solving with the characteristic set method

CSpace > 系统科学研究所

	Automated reasoning and equation solving with the characteristic set method
	Wu, Wen-Tsun; Gao, Xiao-Shan
	2006-09-01
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	21 期号:5 页码:756-764
摘要	A brief introduction to the characteristic set method is given for solving algebraic equation systems and then the method is extended to algebraic difference systems. The method can be used to decompose the zero set for a difference polynomial set in general form to the union of difference polynomial sets in triangular form. Based on the characteristic set method, a decision procedure for the first order theory over an algebraically closed field and a procedure to prove certain difference identities are proposed.
关键词	characteristic set method automated reasoning first order theory difference equation
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000240962200013
出版者	SCIENCE PRESS
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/2965
专题	系统科学研究所
通讯作者	Wu, Wen-Tsun
作者单位	Chinese Acad Sci, Key Lab Math Mechanizat, Inst Syst Sci, AMSS, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Wu, Wen-Tsun,Gao, Xiao-Shan. Automated reasoning and equation solving with the characteristic set method[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2006,21(5):756-764.
APA	Wu, Wen-Tsun,&Gao, Xiao-Shan.(2006).Automated reasoning and equation solving with the characteristic set method.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,21(5),756-764.
MLA	Wu, Wen-Tsun,et al."Automated reasoning and equation solving with the characteristic set method".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 21.5(2006):756-764.