Interval solution of nonlinear equations using linear programming (Q1387251)

A computational test for nonexistence of solutions to a system of nonlinear equations in a given region X is proposed. The method consists in reformulating the problem as a linear programming problem, whose feasible region contains the solutions of the original problem in X, and using the first phase of the simplex method. The method proposed is suitable for systems involving many linear terms and a relatively small number of nonlinear terms (situation often appearing in practice).