连续结果投影用于圆柱代数分解
摘要：两个投影算子在柱面代数分解 (CAD) 中都可以使用，本文展示了这两个投影算子的等价性。一个被称为 Brown 投影 (C. W. Brown (2001))，另一个则是由 Lu Yang 在他早期的工作中提出的 (L. Yang 和 S. H. Xia (2000))，该算子的概述如下：给定一个多项式 $f$ 在 $x\_1, x\_2, \cdots$ 上，通过 $f\_1$ 表示 $f$ 与关于 $x\_1$ 的偏导数的结果 (移除多个因子)，通过 $f\_2$ 表示 $f\_1$ 与关于 $x\_2$ 的偏导数的结果 (移除多个因子)，依此类推，直到最后一个结果变为一元多项式。利用一个恒等式，这两个投影算子的等价性显而易见。
作者：Yong Yao, Jia Xu, Lu Yang
论文ID：1412.4861
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2014-12-17