C++ toolbox for verified computing I

Rolf Hammer

Reading Time

at 250 WPM

6h 44m

The average reader, reading at a speed of 250 WPM, would take 6h 44m to read C++ toolbox for verified computing I.

Personalise your estimate by entering your reading speed below

Test my reading speed

Enter speed in words per minute

14

days at 30 min/day

404

total minutes

Buy on Amazon
TwitterFacebookWhatsApp

C++ toolbox for verified computing I

by Rolf Hammer, Matthias Hocks, Ulrich Kulisch

Published

1995

Publisher

Island Press

Pages

404

ISBN-13

9783642796524

Description

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.

Subjects

C++ (Computer program language)C & Visual CMathematical theory of computationUtilities & toolsAppliedMathematical AnalysisNumber SystemsC++ und C-XSCIntervallarithmetikMathematics / Number SystemsSelbstverifizierende NumerikVerified scientific computingVerifiziertes wissenschaftliches Rechnenautomatic resultautomatische Ergebnisverifikationc++ and c-xscinterval arithmeticself-validating numericssimplification of programmingverification
View on Open Library →
You May Also Like
The C Programming Language

The C Programming Language

The C++ programming language

The C++ programming language

C++

C++

Computer Fundamentals and Programming in C

Computer Fundamentals and Programming in C

Object-oriented Programming with C++

Object-oriented Programming with C++

Programming in ANSI C

Programming in ANSI C

Frequently Asked Questions

How many pages are in C++ toolbox for verified computing I?

This edition of C++ toolbox for verified computing I has approximately 404 pages. Please note, this is an estimate and the exact page count can vary between hardcover, paperback, and e-book versions.

How long does it take to read C++ toolbox for verified computing I?

For most readers, C++ toolbox for verified computing I typically takes between 8h 25m and 5h 37m to complete. This is based on the book's length of approximately 101,000 words and common reading speeds.

Here's a detailed breakdown: • Continuous reading at 250 WPM: approximately 6h 44m of focused reading • Casual reading (30 minutes/day): you could finish in roughly 14 days • Estimated word count: 101,000 words

Your individual reading time will vary based on your personal reading pace, the amount of daily reading time, and your familiarity with the subject matter.

What is the word count of C++ toolbox for verified computing I?

The estimated word count for C++ toolbox for verified computing I is approximately 101,000 words. This figure is calculated using industry-standard methods that consider genre-specific word density patterns, typical formatting and layout characteristics, and standard words-per-page ratios for published books.

This is an approximation — actual word count may vary based on font size, formatting, edition, and the presence of illustrations or charts.

Who is the author of C++ toolbox for verified computing I?

C++ toolbox for verified computing I was written by Rolf Hammer, Matthias Hocks, Ulrich Kulisch.

When was C++ toolbox for verified computing I published?

The publication date for this specific edition is 1995. The original work may have been published on a different date.