Computer arithmetic and enclosure methods : proceedings of the third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991

Author(s)

Bibliographic Information

Computer arithmetic and enclosure methods : proceedings of the third International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991

edited by Lidiya Atanassova, Jürgen Herzberger

North-Holland, 1992

Available at  / 6 libraries

Search this Book/Journal

Note

Includes bibliographical references

Description and Table of Contents

Description

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.

Table of Contents

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).

by "Nielsen BookData"

Details

Page Top