一种 柱形代数分解，它省略了零测度集。通用柱形代数分解通常比普通分解计算速度快得多。通用柱形代数分解在 Wolfram 语言 中实现为GenericCylindricalDecomposition[ineqs, vars].
通用柱形代数分解
另请参阅
柱形代数分解使用 Wolfram|Alpha 探索
参考文献
Strzebonski, A. "Solving Algebraic Inequalities." Mathematica J. 7, 525-541, 2000.在 Wolfram|Alpha 上引用
通用柱形代数分解请引用为
Weisstein, Eric W. "通用柱形代数分解。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/GenericCylindricalAlgebraicDecomposition.html