discovering non-linear ranking functions by solving semi-algebraic     systems

	discovering non-linear ranking functions by solving semi-algebraic systems
	Chen Yinghua ; Xia Bican ; Yang Lu ; Zhan Naijun ; Zhou Chaochen
	2007
会议名称	4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007)
会议日期	SEP 26-28,
会议地点	Macao, PEOPLES R CHINA
关键词	Algebra Calculations Difference equations Polynomial approximation
页码	34-49
英文摘要	Differing from 6 this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the symbolic computation tools, DISCOVERER and QEPCAD, to some interesting exam
会议主办者	Formal Methods Europe, Macao Polytech Inst, United Natl Univ
会议录	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议录出版者	Theoretical Aspects of Computing - ICTAC 2007, Proceedings
会议录出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
ISSN号	0302-9743
ISBN号	978-3-540-75290-5
内容类型	会议论文
源URL	[http://124.16.136.157/handle/311060/11124]
专题	软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式 GB/T 7714	Chen Yinghua,Xia Bican,Yang Lu,et al. discovering non-linear ranking functions by solving semi-algebraic systems[C]. 见:4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007). Macao, PEOPLES R CHINA. SEP 26-28,.