一種 柱形代數分解，它省略了零測度集。通用柱形代數分解通常比普通分解計算速度快得多。通用柱形代數分解在 Wolfram 語言 中實現為GenericCylindricalDecomposition[ineqs, vars].
通用柱形代數分解
另請參閱
柱形代數分解使用 探索
參考文獻
Strzebonski, A. "Solving Algebraic Inequalities." Mathematica J. 7, 525-541, 2000.在 上引用
通用柱形代數分解請引用為
Weisstein, Eric W. "通用柱形代數分解。" 來自 Web 資源。 https://mathworld.tw/GenericCylindricalAlgebraicDecomposition.html