References

1

O. Aberth. Precise Numerical Analysis. Wm. C. Brown, Dubuque, Iowa, 1988.

2

G. Alefeld and J. Herzberger. Introduction to Interval Computations. Wissenschaftsverlag, Mannheim, Wien, Zürich, 1974.

3

G. Alefeld and J. Herzberger. Introduction to Interval Computations. Academic Press, New York, 1983.

4

H. Bauch, K.-U. Jahn, D. Oelschlägel, H. Süsse, and V. Wiebigke. Intervallmathematik - Theorie und Anwendungen. Teubner, Leipzig, 1987.

5

R. Hammer, M. Hocks, U. Kulisch, and D. Ratz. Numerical Toolbox for Verified Computing I. Springer-Verlag, New York, 1993.

6

E. R. Hansen. Global Optimization Using Interval Analysis. Marcel Dekker, Inc., New York, 1992.

7

R. B. Kearfott. Interval computations - introduction, uses, and resources. Euromath Bulletin, 2(1):95-112, 1996.

8

R. B. Kearfott. Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht, Netherlands, 1996.

9

R. B. Kearfott and J. Dian. An iterative method for finding approximate feasible points, 1998. Preprint, Department of Mathematics, Univ. of Southwestern Louisiana, U.S.L. Box 4-1010, Lafayette, La 70504.

10

R. Klatte, U. Kulisch, A. Wiethoff, C. Lawo, and M. Rauch. C-XSC; A C++ Class Library for Extended Scientific Computing. Springer-Verlag, New York, 1993.

11

R. E. Moore. Methods and Applications of Interval Analysis. SIAM, Philadelphia, 1979.

12

A. Neumaier. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, England, 1990.

13

H. Ratschek and J. Rokne. Computer Methods for the Range of Functions. Horwood, Chichester, England, 1984.

14

H. Ratschek and J. Rokne. New Computer Methods for Global Optimization. Wiley, New York, 1988.

15

M. Shub. The implicit function theorem revisited. IBM J. Res. Develop., 38(3):259-264, May 1994.

16

Stevenson, D., chairman, Floating-Point Working Group, Microprocessor Standards Subcommittee. IEEE standard for binary floating point arithmetic (IEEE/ANSI 754-1985). Technical report, IEEE, 1985.