INTBIS

Algorithm 681: INTBIS, a portable interval Newton/bisection package. We present a portable software package for finding all real roots of a system of nonlinear equations within a region defined by bounds on the variables. Where practical, the package should find all roots with mathematical certainty. Though based on interval Newton methods, it is self-contained. It allows various control and output options and does not require programming if the equations are polynomials; it is structured for further algorithmic research. Its practicality does not depend in a simple way on the dimension of the system or on the degree of nonlinearity. (Source: http://dl.acm.org/)

This software is also peer reviewed by journal TOMS.