×

RealComprehensive三角化

swMATH编号: 32920
软件作者: 陈昌波;马克·莫雷诺·马扎
描述: 通过RealComprehensiveTriangulaze求解参数多项式系统。在作者之前的工作[J.Symb.Compute.47,No.6,610–642(2012;Zbl 1264.12011)]中,引入了参数半代数系统的综合三角分解的概念(简称RCTD)。对于给定的参数半代数系统,例如S,RCTD将参数空间划分为不相交的半代数集,在每一个集的上方,S的实际解由有限族三角形系统描述。这种分解允许根据不同的参数值轻松计算不同的实解数,并方便地将实解描述为参数的连续函数。本文介绍了RegularChains库中RCTD的实现,即RealComprehensiveTriangularize命令。通过几个生物系统的稳定性分析,说明了RCTD的使用。
主页: https://link.springer.com/chapter/10.1007%2F978-3-662-44199-2_76
依赖项: 正则链
关键词: 参数多项式系统;实综合三角分解;正则链
相关软件: 枫树;正则链
引用于: 1文件

0连载引用

按年份列出的引文