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
Verification and Validation in Scientific Computing
Language: en
Pages: 240
Authors:
Categories: Computer engineering
Type: BOOK - Published: 2015 - Publisher:

DOWNLOAD EBOOK

C-XSC
Language: en
Pages: 277
Authors: Rudi Klatte
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It provides a large number of predefi