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.
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Boston :
Academic Press,
©1993.
|
| Series: | Mathematics in science and engineering ;
v. 189. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| 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. |
|---|---|
| Physical Description: | 1 online resource (x, 612 pages) |
| Format: | 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. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9780120442102 0120442108 9780080958750 0080958753 1282290169 9781282290167 |