Select an Action
Scientific computing with automatic result verification
Title:
Scientific computing with automatic result verification
Author:
Adams, Ernst.
ISBN:
9780120442102
9780080958750
9781282290167
Publication Information:
Boston : Academic Press, ©1993.
Physical Description:
1 online resource (x, 612 pages).
Series:
Mathematics in science and engineering ; v. 189
Mathematics in science and engineering ; v. 189.
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.
Abstract:
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.
Genre:
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780120442102 ScienceDirect http://www.sciencedirect.com/science/publication?issn=00765392&volume=189 ScienceDirect http://www.sciencedirect.com/science/bookseries/00765392/189 ScienceDirect https://www.sciencedirect.com/science/book/9780120442102Available:*
Shelf Number | Item Barcode | Shelf Location | Status |
|---|---|---|---|
| QA76 .S368 1993 EB | 1191223-1001 | Elsevier E-Book Collections | Searching... |
On Order
Select a list
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.