Inequalities are the relationships between two expressions which are not equal to one another. The symbols used for inequalities are <, >, ≤, ≥. \(7 \textgreater x\) reads as '7 is greater than \(x\)' ...

In this repositoy there are two packages that allow to solve systems of polynomial inequalities. The package DisSolve.m2 is a Macaualy2 package to solve numerically systems of polynomial inequalities.

Abstract: Many problems in system and control areas are in the form of Linear matrix inequalities (LMIs). Methods such as interior point methods have been applied to solve these problems. However, for ...