摘要：在投影和升降运算中，圆柱代数分解（CAD）需要大量的重复一元结果。人们观察到这些结果通常可以因式分解，但至今尚未利用这一点来优化CAD的实现。我们继续研究这种因式分解，以SC-Square为特定上下文进行编写。
作者：James H. Davenport and Matthew England
论文ID：2307.16750
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2023-08-21
PDF 下载： 英文版 中文版pdf翻译中