Approximation and Solution for Nonlinear Polynomial Constraints


We overview techniques for approximation and solution of nonlinear
constraints. Approximations are obtained by designing linear
approximations. Among them, we focus on recent results on intervals and
polyhedras, refering their implementations. Further, we overview basic
ideas of exact solution; they are based on CAD (Cylindrical Algebraic
Decomposition, by Collins 1975) and Groebner basis (Buchberger 1965).
Several available tools and some recent results are also mentioned.