提升圆柱代数分解中等式约束的使用
摘要：在构建一个圆柱代数分解(CAD)时，可以在存在等式约束(EC)时节省空间：这个等式由一个公式逻辑地意味着。 本文关注如何使用多个等式约束(EC)，将其在输入中传递到整个投影集中。我们通过使用简化的投影理论来改进McCallum在ISSAC 2001中的方法，在升降阶段(包括我们使用的多项式和升降的单元格)中节省空间。我们通过实例和复杂性分析展示了这些好处。
作者：Matthew England, Russell Bradford and James H. Davenport
论文ID：1501.04466
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-07-20