精确

精确:代数根和谓词的有效多精度评估,用于可靠的几何计算。许多几何问题,如广义Voronoi图、中轴计算和边界计算,都涉及到曲线和曲面等非线性代数基元的计算和操作。为这些问题设计的算法根据几何谓词的符号或表征问题的多项式的根进行决策。算法的可靠性依赖于对这些符号和根的精确估计。本文提出了一个简单的精度驱动的计算模型来可靠地进行这些计算,并证明了它对某些问题的有效性,如有理项行列式的符号、边界估计和曲线排列。我们还提出了一个新的算法来计算一元多项式的所有根到任何期望的精度。计算模型、底层数字表示、精度驱动算法和所有算法都作为独立软件库的一部分实现,PRECISE。

软件也是这样同行评审按日记帐汤姆斯.