Solving parametric polynomial systems by RealComprehensiveTriangularize

doi:10.1007/978-3-662-44199-2_76

CORC > 重庆绿色智能技术研究院 > 中国科学院重庆绿色智能技术研究院 > 自动推理与认知研究中心

	Solving parametric polynomial systems by RealComprehensiveTriangularize
	Chen, Changbo 1; Maza, Marc Moreno 2
	2014
会议日期	August 5, 2014 - August 9, 2014
会议地点	Seoul, Korea, Republic of
DOI	10.1007/978-3-662-44199-2_76
页码	504-511
英文摘要	In the authors' previous work, the concept of comprehensive triangular decomposition of parametric semi-algebraic systems (RCTD for short) was introduced. For a given parametric semi-algebraic system, say S, an RCTD partitions the parametric space into disjoint semi-algebraic sets, above each of which the real solutions of S are described by a finite family of triangular systems. Such a decomposition permits to easily count the number of distinct real solutions depending on different parameter values as well as to conveniently describe the real solutions as continuous functions of the parameters. In this paper, we present the implementation of RCTD in the RegularChains library, namely the RealComprehensiveTriangularize command. The use of RCTD is illustrated by the stability analysis of several biological systems. © 2014 Springer-Verlag.
会议录	4th International Congress on Mathematical Software, ICMS 2014
语种	英语
电子版国际标准刊号	16113349
ISSN号	03029743
内容类型	会议论文
源URL	[http://119.78.100.138/handle/2HOD01W0/4770]
专题	自动推理与认知研究中心
作者单位	1.Chongqing Key Laboratory of Automated Reasoning and Cognition, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, China; 2.ORCCA, University of Western Ontario, Canada
推荐引用方式 GB/T 7714	Chen, Changbo,Maza, Marc Moreno. Solving parametric polynomial systems by RealComprehensiveTriangularize[C]. 见:. Seoul, Korea, Republic of. August 5, 2014 - August 9, 2014.