陈昌波;詹姆斯·H·达文波特。;约翰·P·梅。;马克·莫雷诺·马扎;夏碧灿;肖荣 半代数系统的三角分解。 (英语) Zbl 1260.14070号 J.塞姆。计算。 49, 3-26 (2013). 作为输出的多项式方程组的三角分解规则链条。本文介绍了正则半代数系统,它应该被视为这些正则链的真实对应物(即over({mathbb R}))。然后定义了半代数系统分解的两个概念:一个称为懒惰的其中,对严格较小维度的组件的分析被推迟,另一个被称为满的包括所有案例。作者提供了计算这些分解的运行时间估计,并在文章的最后描述了它们的实现和实验结果。审核人:卡洛斯·达安德里亚(巴塞罗那) 引用于1审查引用于14文件 MSC公司: 第14页 半代数集与相关空间 68瓦30 符号计算和代数计算 关键词:正则半代数系统;规则链;惰性分解;三角分解;边界多项式;指纹多项式集 软件:枫树;正则链 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}等人,J.Symb。计算。49、3--26(2013;Zbl 1260.14070) 全文: 内政部