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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Kulisch, Ulrich
Format: Électronique eBook
Langue:Inglés
Publié: Berlin ; New York : Walter de Gruyter, ©2008.
Collection:De Gruyter studies in mathematics ; 33.
Sujets:
Computer arithmetic.
Computer arithmetic and logic units.
Floating-point arithmetic.
Arithmétique interne des ordinateurs.
Unités arithmétiques et logiques.
Arithmétique en virgule flottante.
COMPUTERS > Reference.
COMPUTERS > Machine Theory.
COMPUTERS > Computer Literacy.
COMPUTERS > Information Technology.
COMPUTERS > Data Processing.
COMPUTERS > Computer Science.
COMPUTERS > Hardware > General.
Computer arithmetic
Computer arithmetic and logic units
Floating-point arithmetic
Richtigkeit von Ergebnissen
Computerarithmetik
Intervallalgebra
Gleitkommarechnung
Numerische Mathematik
Computer Arithmetic.
Floating Point Arithmetic.
Interval Arithmetic.
Verified Computing.
Accès en ligne:Texto completo
Table des matières:
  • 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.

Documents similaires