Text this: Efficient methods for enclosing solutions of systems of nonlinear equations.