ENGLISH

Scientific Computing with Automatic Result Verification

By E. Adams and U. Kulisch (Eds.)

Book information

Publisher
Academic Press
Year
1993
ISBN
9780120442102, 0120442108
ISSN
0076-5392
LCC
QA76 .S368 1993
Open Library ID
OL1355285M
Language
english
Format
DJVU
Filesize
4 MB (3958857 bytes)
Series
Mathematics in Science and Engineering 189
Pages
iii-x, 1-612\625
Library
Kolxo3
DPI
300
Time added
2010-07-29 05:14:56

Description

A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations.

Similar books