SMS versenden: Efficient methods for enclosing solutions of systems of nonlinear equations.