A combined method for enclosing all solutions of nonlinear systems of polynomial equations
An interval version of Buchberger's algorithm for solving systems of polynomial equations over \(\mathbb{R}\) is described. Some modifications were, however, incorporated in order to avoid a superfluous blowing up of interval coefficients.
scientific article; zbMATH DE number 803787
scientific article