陈昌波；马克·莫雷诺·马扎 RegularChains库中的柱面代数分解。 （英语） Zbl 1437.14007号 Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8592, 425-433 (2014). 摘要：圆柱代数分解（CAD）是计算实代数几何的基本工具，已在多个软件中实现。虽然现有的实现都是基于Collins的投影提升方案及其后续改进，但RegularChains库中的CAD实现是基于多项式系统的三角分解和正则链的实根隔离。RegularChains库中用于计算CAD的函数称为CylindricalAlgebraicDecompose。在本文中，我们通过示例说明了柱代数分解的功能、基本理论和算法，以及实现技术。还提供了它的应用程序。关于整个系列，请参见[Zbl 1293.65003号]. 引用于8文件 MSC公司： 14-04 代数几何相关问题的软件、源代码等 2016年第14季度 数值代数几何的几何方面 2014年第30季度 计算实代数几何 68瓦30 符号计算和代数计算 关键词：柱面代数分解；三角分解；正则链 软件：圆柱代数分解；正则链 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}和\textit{M.Moreno Maza}，莱克特。注释计算。科学。8592、425--433（2014年；Zbl 1437.14007） 全文： 内政部