C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar
ISBN 10: 3642796532 ISBN 13: 9783642796531
Published by Springer, 2011
New
Soft cover
From
Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since August 30, 2024
This specific item is no longer available.
About this Item
Description:
SUPER FAST SHIPPING. Seller Inventory # 9783642796531
Synopsis:
This book 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 (SSCM Vol. 21). The sources of the programs in this book are freely available via anonymous ftp.
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 I: Basic ...
Publisher: Springer
Publication Date: 2011
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Seller Image
C++ Toolbox for Verified Computing I
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642796532
ISBN 13: 9783642796531
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Theory, Algorithms, and ProgramsOur 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 Numer. Seller Inventory # 5070906
Buy New
US$ 120.87
Shipping:
US$ 56.90
From Germany to U.S.A.
Quantity: Over 20 available
Seller Image
C++ Toolbox for Verified Computing I | Basic Numerical Problems Theory, Algorithms, and Programs
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. C++ Toolbox for Verified Computing I | Basic Numerical Problems Theory, Algorithms, and Programs | Rolf Hammer (u. a.) | Taschenbuch | xviii | Englisch | 2011 | Springer-Verlag GmbH | EAN 9783642796531 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 106369123
Stock Image
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020236615
Seller Image
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18770818-n
Seller Image
C++ Toolbox for Verified Computing I
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 3642796532
ISBN 13: 9783642796531
New
Taschenbuch
First Edition
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch. Seller Inventory # 9783642796531
Seller Image
C++ Toolbox for Verified Computing I
Published by
Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 3642796532
ISBN 13: 9783642796531
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 404 pp. Englisch. Seller Inventory # 9783642796531
Seller Image
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642796532
ISBN 13: 9783642796531
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783642796531
Seller Image
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18770818-n
Buy New
US$ 146.39
Shipping:
US$ 19.74
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642796531_new
Buy New
US$ 146.40
Shipping:
US$ 15.76
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 3642796532
ISBN 13: 9783642796531
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. reprint edition. 400 pages. 9.25x6.10x0.24 inches. In Stock. Seller Inventory # x-3642796532
Buy New
US$ 194.74
Shipping:
US$ 13.16
From United Kingdom to U.S.A.
Quantity: 2 available