Scientific computing with automatic result verification
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
Main Author: | |
---|---|
Other Authors: | |
Format: | eBook |
Language: | English |
Published: |
Boston
Academic Press
1993, 1993
|
Series: | Mathematics in science and engineering
|
Subjects: | |
Online Access: | |
Collection: | Elsevier eBook collection Mathematics - Collection details see MPG.ReNa |
Summary: | 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 |
---|---|
Item Description: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 |
Physical Description: | x, 612 pages |
ISBN: | 0120442108 9780080958750 9780120442102 1282290169 0080958753 |