Computer arithmetic and validity
Subtitle: theory, implementation, and applications
By: Ulrich Kulisch
Series: De Gruyter studies in mathematics -- 33; De Gruyter studies in mathematics -- 33.
Publisher: Walter de Gruyter
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 409
ISBN-13: 9783110203189
Subjects: Floating-point arithmetic; Richtigkeit von Ergebnissen; Numerische Mathematik; Intervallalgebra; Gleitkommarechnung; Computer arithmetic and logic units; Computer arithmetic; Computerarithmetik
Notes: Includes bibliographical references (p. [359]-394) and index.
Table of contents: title: Theory of computer arithmetic; title: First concepts; title: Ringoids and vectoids; title: Definition of computer arithmetic; title: Interval arithmetic; title: Implementation of arithmetic on computers; title: Floating-point arithmetic; title: Implementation of floating-point arithmetic on a computer; title: Hardware support for interval arithmetic; title: Scalar products and complete arithmetic; title: Principles of verified computing; title: Sample applications.