Loading…

Computer arithmetic and validity : theory, implementation, and applications /

The present book deals with the theory of computer arithmetic, its implementation on digital computers and applications in applied mathematics to compute highly accurate and mathematically verified results. The aim is to improve the accuracy of numerical computing (by implementing advanced computer...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Kulisch, Ulrich
Format: Electronic eBook
Language:Inglés
Published: Berlin ; New York : Walter de Gruyter, ©2008.
Series:De Gruyter studies in mathematics ; 33.
Subjects:
Online Access:Texto completo
Table of Contents:
  • Theory of computer arithmetic
  • First concepts
  • Ringoids and vectoids
  • Definition of computer arithmetic
  • Interval arithmetic
  • Implementation of arithmetic on computers
  • Floating-point arithmetic
  • Implementation of floating-point arithmetic on a computer
  • Hardware support for interval arithmetic
  • Scalar products and complete arithmetic
  • Principles of verified computing
  • Sample applications.