KMS Chongqing Institute of Green and Intelligent Technology, CAS
Solving parametric polynomial systems by RealComprehensiveTriangularize | |
Chen, Changbo1; Maza, Marc Moreno2 | |
2014 | |
摘要 | 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. |
语种 | 英语 |
DOI | 10.1007/978-3-662-44199-2_76 |
会议(录)名称 | 4th International Congress on Mathematical Software, ICMS 2014 |
页码 | 504-511 |
收录类别 | EI |
会议地点 | Seoul, Korea, Republic of |
会议日期 | August 5, 2014 - August 9, 2014 |