Scientists concerned with the interaction between computer arithmetic, programming languages and scientific computing will be particularly interested in this book. It focuses on papers presented at the conference and highlights the increasing impact of SCAN-91 in this area. The volume contains original research and expository articles on the field of interaction between computer arithmetic and its realization in programming languages and the construction and investigation of numerical algorithms for computing guaranteed error-bounds for the solution of various problems in applied mathematics and engineering. Main subjects are: software tools for enclosure algorithms and inclusion methods with the help of interval arithmetic, in particular for the numerical solution of differential equations.
Invited Lectures (R.M. Corless, G.F. Corliss, H.-J. Dobner, E. Kaucher,
S. Godunov, P. Linz, G. Mayer, Ch. Ullrich). Computer Arithmetic and
Programming Tools (Contributors: G. Bohlender, A. Davidenkoff, J. Erhel, B.
Philippe, C. Falco Korn, R. Hammer, R. Reith, T. Lynch, Th. Teufel, W.V.
Walter, J. Wolff von Gudenberg). Interval Methods for Enclosure Algorithms
(Contributors: L. Atanassova, J. Herzberger, D. Bethke, H. Deumlich, N.S.
Dimitrova, H.-J. Dobner, E. Kaucher, A. Frommer, K.-U. Jahn, Ch. Jansson, B.
Kelling, S. Konig, W. Kramer, F. Mraz, Lj. Petkovic, M.S. Petkovic, D. Ratz,
S.M. Rump). Applications in Differential Equations (Contributors: S.
Christiansen, P.W. Pedersen, S. Georg, G. Kirlinger, G.F. Corliss, S. Fujino,
S. Zhang, T. Nakao, M. Neher, W. Otten, R. Rihm, V. Veliov). Related Topics
(Contributors: M. Berz, G. Heindl, N. Kjurkchiev, A. Andreev, A. Okuda, D.
Shiriaev, Y. Stoyan, S. Smelyakov, P. Walerius).
