An edition of C++ toolbox for verified computing I (1995)

C++ toolbox for verified computing I

basic numerical problems

by , , , and

Cover of: C++ toolbox for verified computing I by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 18, 2024 | History
Edit
An edition of C++ toolbox for verified computing I (1995)

C++ toolbox for verified computing I

basic numerical problems

by , , , and

This book offers a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verfication or any familiarity with interval analysis.

The necessary concepts are introduced.

Publish Date
Publisher
Springer
Language
English
Pages
377

Check nearby libraries

Buy this book

Subjects

C++ (Computer program language), C & Visual C, Mathematical theory of computation, Utilities & tools, Applied, Mathematical Analysis, Number Systems, C++ und C-XSC, Intervallarithmetik, Mathematics / Number Systems, Selbstverifizierende Numerik, Verified scientific computing, Verifiziertes wissenschaftliches Rechnen, automatic result, automatische Ergebnisverifikation, c++ and c-xsc, interval arithmetic, self-validating numerics, simplification of programming, verification, Mathematics
Edition Availability
Cover of: C++ Toolbox for Verified Computing I
C++ Toolbox for Verified Computing I: Basic Numerical Problems
April 11, 1997, Springer
Hardcover in English - 1 edition
Cover of: C++ toolbox for verified computing I
C++ toolbox for verified computing I: basic numerical problems
1995, Springer
in English
Cover of: C++ Toolbox for Verified Computing I
C++ Toolbox for Verified Computing I
1995, Island Press
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [360]-365) and index.

Published in
Berlin, New York
Other Titles
C++ toolbox for verified computing 1, C++ toolbox for verified computing one

Classifications

Dewey Decimal Class
519.4/0285/5133
Library of Congress
QA76.73.C153 C18 1995

The Physical Object

Pagination
xv, 377 p. :
Number of pages
377

Edition Identifiers

Open Library
OL1278428M
ISBN 10
0387591109, 3540591109
LCCN
95010173
OCLC/WorldCat
32166841
Goodreads
3097713

Work Identifiers

Work ID
OL19498815W

Source records

Scriblio MARC record
Library of Congress MARC record
amazon.com record
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 18, 2024 Edited by MARC Bot import existing book
April 10, 2023 Edited by ImportBot import existing book
November 20, 2020 Edited by MARC Bot import existing book
April 3, 2019 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record