A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization