1. M. Aigner and E. Behrends. Alles Mathematik. Vieweg, Braunschweig, 2000.
2. G. Alefeld, A. Gienger, and F. A. Potra. Efficient numerical validation of solutions of nonlinear systems. SIAM J. Numer. Anal., 31:252–260, 1994.
3. G. Alefeld and J. Herzberger. Introduction to Interval Computations. Academic Press, New York, 1983.
4. American National Standard Institute. IEEE standard for binary floating point arithmetic IEEE/ANSI 754-1985. Technical report, New York, 1985.
5. K. Appel and W. Haken. Every planar graph is four colorable, part I: Discharging. Illinois J. of Mathematics, 21:429–490, 1977.