三种启发式方法在CAD中选择变量顺序的比较
摘要：选择变量顺序的启发式算法，对于使用圆柱代数分解（CAD）解决实数代数几何和相关问题是非常重要的。在使用CAD时，往往可以选择不同的变量顺序，其中一种变量顺序可能导致某些问题无法解决，而另一种变量顺序则很简单。本文讨论了最近在数千个实例上比较了三种启发式算法的实验结果。
作者：Zongyan Huang, Matthew England, David Wilson, James H. Davenport and Lawrence C. Paulson
论文ID：1405.6082
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-02-12