基于模型的开放非均匀圆柱代数分解的构建
摘要：开放非统一圆柱代数分解（NuCAD）概念的引入，并介绍了一种从输入公式构建Open NuCAD的高效基于模型的算法。NuCAD是Cylindrical Algebraic Decomposition（CAD）的一种推广，CAD在20世纪70年代初由Collins在其重要著作中定义，并在Hong的部分CAD等概念上进行了扩展。NuCAD，像CAD一样，是将n维实空间分解为圆柱细胞。但是与CAD不同，NuCAD中的细胞不必按圆柱形排列。就是这个意义上，NuCAD不是均匀圆柱形的。然而，NuCAD和CAD一样具有关联不同细胞的树结构。这是一个非常不同的树，但是，与CAD树结构一样，它允许一些操作高效地执行，例如查找任意输入点的包含细胞。
作者：Christopher W. Brown
论文ID：1403.6487
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2014-03-27