圆柱代数分解

正则链库中的柱代数分解。圆柱代数分解(CAD)是计算实代数几何的一个基本工具,已在多个软件中实现。现有的实现都是基于Collins的投影提升方案及其改进,而正则链库中CAD的实现是基于多项式系统的三角分解和正则链的实根隔离。用于计算CAD的正则链库中的函数称为圆柱代数分解。本文通过实例说明了圆柱代数分解的功能、基本理论和算法,以及实现技术。文中还介绍了它的应用。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换