SemiAlgebraic System Solving
The SolveTools[SemiAlgebraic] command has been integrated directly into the solve command, such that many systems involving non-linear polynomial inequalities that could not be solved previously, are solved.
In Maple 16, no solutions were found for the following system, but in Maple 17 it is easily solved.
A solution to such a system of inequalities is a decomposition of the feasible region of the inequalities into bands as can be seen in the inequality plot:
Additionally, the SemiAlgebraic command now can build case discussions for systems with real-valued parameters.
Download Help Document