» » Scientific Computation With Automatic Result Verification (Computing Supplementum, 6)
Download Scientific Computation With Automatic Result Verification (Computing Supplementum, 6) epub book
ISBN:0387820639
Author: U. Kulisch,H. J. Stetter
ISBN13: 978-0387820637
Title: Scientific Computation With Automatic Result Verification (Computing Supplementum, 6)
Format: mobi azw lrf mobi
ePUB size: 1944 kb
FB2 size: 1456 kb
DJVU size: 1328 kb
Language: English
Category: Hardware and DIY
Publisher: Springer Verlag (December 1, 1988)
Pages: 244

Scientific Computation With Automatic Result Verification (Computing Supplementum, 6) by U. Kulisch,H. J. Stetter



A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987, in Karlsruhe; it was co-sponsored by the GAMM Committee on "Computer Arithmetic and Scientific Computation". Computing Supplementum 6. U. Kulisch and H. 1. Stetter (ed. Scientific Computation with Automatic Result Verification. Springer-Verlag Wien New York.

Computing Supplementum 6. Institut fUr Angewandte Mathematik Universitiit Karlsruhe Federal Republic of Germany. Institut fUr Angewandte und Numerische Mathematik Technische Universitiit Wien Austria. Scientific computation with automatic result verification I U. Kulisch. and H. J. p. cm. - (Computing. Supplementum ; 6). Based on papers presented at a conference held Sept. topic at the Institute for Applied Mathematics of Karlsruhe University for many.

Part of the Computing Supplementum book series (COMPUTING, volume 6). Abstract. Automatic Result Verification. As an introduction to the following articles, we explain the meaning of automatic result verification as a tool in Scientific Computation; then we shortly sketch its principal methods and put the papers of the volume into a common perspective. Standard Function Result Verification Floppy Disk Arithmetic Expression Defect Correction. These keywords were added by machine and not by the authors. In: Kulisch . Stetter . eds) Scientific Computation with Automatic Result Verification. Computing Supplementum, vol 6. Springer, Vienna. Publisher Name Springer, Vienna. Print ISBN 978-3-211-82063-6. Online ISBN 978-3-7091-6957-5. eBook Packages Springer Book Archive.

Start by marking Scientific Computation With Automatic Result Verification as Want to Read: Want to Read savin. ant to Read. by Ulrich W.

This book presents a collection of papers on recent progress in the development and applications of numerical applications with automatic result verification. The book is organized in three parts. E. Adams, U. Kulisch Introduction. PA!X&XSC, New Concepts for Scientific Computation and Numerical Data Processing.

An important result of Chapter 6 is Smales cancellation lemma - that is a description of the situation when two successive attachments of handles produce no change. Chapter 7 begins with the proof that every manifold can be built by a successive attachment of handles of increasing dimension. The last chapter introduces the method of surgery. WFA) E. Adams and U. Kulisch, Scientific Computing with Automatic Result Verification. Academic Press, Boston, MA, 1993. 612 p. ISBN 0-120-44210-S. The diagnostic power of numerical algorithms with automatic result verification (enclosure methods) is of particular importance concerning the reliable mathematical simulation or real world problems. This work is a must on the desk of everyone who uses numerical algorithms.

A good number of meetings have been devoted to this area. In particular, we would like to make application scientists aware of its potential. Ulrich Kulisch, Hans J.

A numerical verification method for computing eigenpair enclosures for this non-selfadjoint eigenvalue problem is described. Some verification results confirm the effectiveness of the method. H. Behnke, Inclusion of eigenvalues of general eigenvalue problems for matrices. Scientific Computation with Automatic Result Verification, U. Kulisch and ., Com-puting Suppl.

with W. L. Miranker: Computer Arithmetic in Theory and Practice, Academic Press 1981. with R. Hammer, M. Hocks, D. Ratz: C++ Toolbox for Verified Computing, Springer 1995.

Stetter (ed. Scientific computation with automatic result verification, Computing Suppl. Springer, Wien (1988). 7. Jansson, . Rump, . Rigorous solution of linear programming problems with un