| Description |
1 online resource (x, 612 pages). |
| Physical Medium |
polychrome |
| Description |
text file |
| Series |
Mathematics in science and engineering ; v. 189
|
|
Mathematics in science and engineering ; v. 189.
|
| Bibliography |
Includes bibliographical references and index. |
| Contents |
Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic. |
| 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. |
| Access |
Use copy Restrictions unspecified MiAaHDL |
| Reproduction |
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL |
| System Details |
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. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
| Processing Action |
digitized 2010 HathiTrust Digital Library committed to preserve MiAaHDL |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Electronic data processing.
|
|
Electronic data processing. |
|
Computer science -- Mathematics.
|
|
Computer science -- Mathematics. |
| Indexed Term |
Numerical analysis Use of Computers |
| Genre/Form |
Electronic books.
|
| Added Author |
Adams, Ernst.
|
|
Kulisch, Ulrich.
|
| Other Form: |
Print version: Scientific computing with automatic result verification. Boston : Academic Press, ©1993 9780120442102 (DLC) 92247371 (OCoLC)26917369 |
| ISBN |
9780120442102 (electronic book) |
|
0120442108 (electronic book) |
|
9780080958750 (electronic book) |
|
0080958753 (electronic book) |
|
1282290169 |
|
9781282290167 |
|
