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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kulisch, Ulrich
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin ; New York : Walter de Gruyter, ©2008.
Colección:De Gruyter studies in mathematics ; 33.
Temas:
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.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares