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
著者
書誌事項
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
North-Holland, 1992
大学図書館所蔵 件 / 全6件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
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).
「Nielsen BookData」 より