Scientific computing with automatic result verification, Volume 189 (Mathematics in Science and Engineering) - Hardcover
Synopsis
This book presents a collection of papers on recent progress in the development and applications of numerical applications with automatic result verification. The book is organized in three parts. The first part introduces the necessary language support for verified scientific computations, dealing with tools based on PASCAL, FORTRAN, and C. The second part presents seven contributions to the solution of basic problems of Numerical Analysis with automatic result verification (ARV). The third part covers various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations, the discretization of evolution problems, and KKR bandstructure calculations.
"synopsis" may belong to another edition of this title.
Search results for Scientific computing with automatic result verification,...
Stock Image
Scientific computing with automatic result verification, Volume 189 (Mathematics in Science and Engineering)
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0120442108I4N00