拉扎德风格的计算机辅助设计与等式约束
摘要：McCallum风格的圆柱代数分解（CAD）是对原始Collins版本的一次重大改进，并且有许多后续进展，尤其是在总体或局部方程约束方面。但是它存在一个空化问题。最近证明的Lazard风格的CAD没有这个问题。然而，将方程约束工作转移到Lazard风格会重新引入空化问题。本文根据第二作者的博士论文和Lazard的Brown-McCallum改进解释了该问题及其解决方案。仅有一个方程约束时，我们可以在Lazard风格中获得与McCallum风格CAD相同的改进。此外，我们的方法不会因为空化而失败，这并不奇怪。在存在空化情况下，它的改进程度不会达到相同的水平。我们还考虑了多个方程约束的情况。
作者：James H. Davenport and Akshar S. Nair and Gregory K. Sankaran and Ali K.Uncu
论文ID：2302.05813
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2023-02-14