1. Aberth O., Computation of topological degree using interval arithmetic, and applications, Math. Comp., 62, 171–178 (1994).
2. Alefeld G. and Herzberger J., Introduction to Interval Computations, Translated by J. Rokne, Academic Press, New York, (1983).
3. Androulakis G.S. and Vrahatis M.N., OPTAC: A portable software package for analyzing and comparing optimization methods by visualization, J. Comput. Appl. Math., 75, (1996), in press.
4. Androulakis G.S., Vrahatis M.N. and Grapsa T.N., Studying the performance of optimization methods by visualization, Sys. Anal. Mod. Simul., in press.
5. Berner S., A parallel method for verified global optimization, In: Scientific Computing and Validated Numerics, Alefeld G., Frommer A. and Lang B. eds., Akademie Verlag, Berlin, 200–206 (1996).