Cylindrical Algebraic Decomposition (CAD) by projection and lifting requires many iterated univariate resultants. It has been observed that these often factor, but to date this has not been used to optimise implementations of CAD. We continue the investigation into such factorisations, writing in the specific context of SC-Square.

翻译：柱形代数分解通过投影与提升方法需要大量迭代的一元结式。已有研究表明这些结式常可因式分解，但迄今尚未被用于优化CAD的实现。我们继续探讨此类因式分解问题，并置于SC-Square的特定语境下进行阐述。