Bibliography
[1] O. Aberth, Precise Numerical Analysis, Wm. C. Brown Publishers, Dubuque, Iowa,
1988.
[2] M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions,Nat.Bur.
Standards, Appl. Math. Series 55, U.S. GovernmentPrinting Office, Washington, D.C.,
1964.
[3] E. Adams, Enclosure methods and scientific computation, in: W. F. Ames (ed.), Nu-
merical and Applied Mathematics, pp. 3–31, J. C. Baltzer Scientific Publishing, Basel,
1989.
[4] E. Adams and U. Kulisch, On scientific computing with automatic result verification,
in: E. Adams and U. Kulisch (eds.), Scientific Computing with Automatic Result Ver-
ification. I. Language and Programming Support for Verified Scientific Computation,
II. Enclosure Methods and Algorithms with Automatic Result Verification, ...