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 ...
Read More
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.
Read Less
Add this copy of Scientific Computing With Automatic Result Verification to cart. $10.81, very good condition, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1992 by Academic Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
416 pp., Hardcover, very good. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Scientific Computing With Automatic Result Verification to cart. $11.38, very good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1992 by Academic Press.
Add this copy of Scientific Computing With Automatic Result Verification to cart. $11.39, good condition, Sold by Goodwill Books rated 5.0 out of 5 stars, ships from Hillsboro, OR, UNITED STATES, published 1992 by Academic Press.
Add this copy of Scientific Computing With Automatic Result Verification to cart. $32.50, very good condition, Sold by Michener & Rutledge Bookseller rated 5.0 out of 5 stars, ships from Baldwin City, KS, UNITED STATES, published 1992 by Academic Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good+ with No dust jacket as issued. 0120442108. Text clean and tight; no dust jacket; Mathematics in Science and Engineering, Volume 189; 9.06 X 6.18 X 1.18 inches; 416 pages.
Add this copy of Scientific Computing With Automatic Result Verification to cart. $42.83, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1992 by Academic Press.
