C++ Toolbox for Verified Computing: Basic Numerical Problems

Rolf Hammer, M. Hocks, Ulrich W. Kulisch et D. Ratz

ISBN 10: 3540591109 ISBN 13: 9783540591108
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1995
Used Hardcover

From Ammareal, Morangis, France Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since August 29, 2016

This specific item is no longer available.

About this Item

Description:

Ancien livre de bibliothèque. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-578-798

Report this item

Synopsis:

Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition were written in PASCAL-XSC, a PASCAL eXtension for Scientific Computation. Since we published the first edition we have received many requests from readers and users of our tools for a version in C++. We take the view that C++ is growing in importance in the field of numeri cal computing. C++ includes C, but as a typed language and due to its modern concepts, it is superior to C. To obtain the degree of efficiency that PASCAL-XSC provides, we used the C-XSC library. C-XSC is a C++ class library for eXtended Scientific Computing. C++ and the C-XSC library are an adequate alternative to special XSC-Ianguages such as PASCAL-XSC or ACRITH-XSC. A shareware version of the C-XSC library and the sources of the toolbox programs are freely available via anonymous ftp or can be ordered against reimbursement of expenses. The programs of this book do not require a great deal of insight into the features of C++. Particularly, object oriented programming techniques are not required."

From the Back Cover: This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, 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 verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: C++ Toolbox for Verified Computing: Basic ...
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication Date: 1995
Binding: Hardcover
Condition: Très bon

Top Search Results from the AbeBooks Marketplace

Stock Image

Hammer, Rolf & Matthias Hocks & Ulrich Kulisch & Dietmar Ratz
Published by Springer, 1997
ISBN 10: 3540591109 ISBN 13: 9783540591108
Used Hardcover

Seller: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Very Good+. Text clean and tight; no dust jacket; 9.30 X 6.20 X 0.70 inches; 382 pages. Seller Inventory # 208211

Contact seller

Buy Used

US$ 62.50
Convert currency
Shipping: US$ 6.00
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Ratz, Dietmar,Kulisch, Ulrich,Hocks, Matthias,Hammer, Rolf
Published by Springer, 1997
ISBN 10: 3540591109 ISBN 13: 9783540591108
Used Hardcover

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_342542255

Contact seller

Buy Used

US$ 64.25
Convert currency
Shipping: US$ 3.75
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Hammer, Hocks, Kulisch, Ratz
Published by Springer, 1995
ISBN 10: 3540591109 ISBN 13: 9783540591108
Used Hardcover

Seller: La bataille des livres, Pradinas, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Très bon. C++ Toolbox for Verified Computing: Basic Numerical Problems | Hammer, Hocks, Kulisch, Ratz | Springer, 1995. In-8° cartonné, 377 pages. Couverture propre. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général pour cet ouvrage [BA 46+]. Seller Inventory # FR-IRI0-O6U6

Contact seller

Buy Used

US$ 111.55
Convert currency
Shipping: US$ 43.32
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietma
Published by Springer, 1997
ISBN 10: 3540591109 ISBN 13: 9783540591108
Used Hardcover

Seller: dsmbooks, Liverpool, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-3540591109-4

Contact seller

Buy Used

US$ 181.75
Convert currency
Shipping: US$ 33.82
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket