Generic Cylindrical Algebraic Decomposition
A cylindrical algebraic decomposition that omits sets of measure zero. Generic cylindrical algebraic decompositions are generally much quicker to compute than are normal decompositions. Generic cylindrical algebraic decomposition is implemented in the Wolfram Language as GenericCylindricalDecomposition [ineqs, vars].
See also
Cylindrical Algebraic DecompositionExplore with Wolfram|Alpha
WolframAlpha
More things to try:
References
Strzebonski, A. "Solving Algebraic Inequalities." Mathematica J. 7, 525-541, 2000.Referenced on Wolfram|Alpha
Generic Cylindrical Algebraic DecompositionCite this as:
Weisstein, Eric W. "Generic Cylindrical Algebraic Decomposition." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/GenericCylindricalAlgebraicDecomposition.html