Scientific Computing with Automatic Result Verification

Scientific Computing with Automatic Result Verification
Author :
Publisher : Academic Press
Total Pages : 626
Release :
ISBN-10 : 9780080958750
ISBN-13 : 0080958753
Rating : 4/5 (50 Downloads)

Book Synopsis Scientific Computing with Automatic Result Verification by : Adams

Download or read book Scientific Computing with Automatic Result Verification written by Adams and published by Academic Press. This book was released on 1992-12-03 with total page 626 pages. Available in PDF, EPUB and Kindle. Book excerpt: Scientific Computing with Automatic Result Verification


Scientific Computing with Automatic Result Verification Related Books

Scientific Computing with Automatic Result Verification
Language: en
Pages: 626
Authors: Adams
Categories: Computers
Type: BOOK - Published: 1992-12-03 - Publisher: Academic Press

DOWNLOAD EBOOK

Scientific Computing with Automatic Result Verification
Scientific Computation with Automatic Result Verification
Language: en
Pages: 242
Authors: Ulrich Kulisch
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many
Numerical Software with Result Verification
Language: en
Pages: 324
Authors: René Alt
Categories: Computers
Type: BOOK - Published: 2004-03-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Cas
A New Approach to Scientific Computation
Language: en
Pages: 401
Authors: Ulrich W. Kulisch
Categories: Mathematics
Type: BOOK - Published: 2014-05-12 - Publisher: Elsevier

DOWNLOAD EBOOK

A New Approach to Scientific Computation is a collection of papers delivered at a symposium held at the IBM Thomas J. Watson Research Center on August 3, 1982.
Projects in Scientific Computation
Language: en
Pages: 500
Authors: Richard E. Crandall
Categories: Computers
Type: BOOK - Published: 2000-06-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This interdisciplinary book provides a compendium of projects, plus numerous example programs for readers to study and explore. Designed for advanced undergradu