Solution of Systems of Polynomial Equations by Using Bernstein Expansion

A method for enclosing all solutions to a system of polynomial equations inside a given box is presented. This method relies on the expansion of a multivariate polynomial into Bernstein polynomials and is a domain-splitting approach. After a pruning step a collection of subboxes remain which undergo an existence test provided by Miranda's Theorem