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)
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	34-49
会议日期	SEP 26-28,
会议地点	Macao, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Theoretical Aspects of Computing - ICTAC 2007, Proceedings
ISSN	0302-9743
ISBN	978-3-540-75290-5
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China.
摘要	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
关键词	Algebra Calculations Difference Equations Polynomial Approximation
主办者	Formal Methods Europe, Macao Polytech Inst, United Natl Univ
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/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]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Theoretical Aspects of Computing - ICTAC 2007, Proceedings,2007:34-49.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
discovering non-line（513KB）			开放获取	--	请求全文