Handbook of Floating-Point Arithmetic

This handbook aims to provide a complete overview of modern floating-point arithmetic. This includes a detailed treatment of the current (IEEE-754) and next (preliminarily called IEEE-754R) standards for floating-point arithmetic.

Provides a complete overview of a topic that is widely used to implement real-number arithmetic on modern computers, yet is far from being fully exploited to its full potential Techniques are illustrated, whenever possible, by a corresponding program, allowing the reader to put them directly into practice Develops smart and nontrivial algorithms for implementation of floating-point arithmetic in software For a broad audience of programmers of numerical applications, compiler designers, programmers of floating-point algorithms, designers of arithmetic operators; as well as students and researchers in numerical analysis

Autorentext
Jean-Michel Muller (coordinator), CNRS, Laboratoire LIP, AriC teamNicolas Brunie, KalrayFlorent de Dinechin, INSA Lyon, Laboratoire CITI, Socrate teamClaude-Pierre Jeannerod, Inria, Laboratoire LIP, AriC teamMioara Joldes, CNRS, LAAS, MAC teamVincent Lefèvre, Inria, Laboratoire LIP, AriC teamGuillaume Melquiond, Inria, Laboratoire LRI, Toccata teamNathalie Revol, Inria, Laboratoire LIP, AriC teamSerge Torres, ENS de Lyon, Laboratoire LIP, AriC team

Inhalt
Part I: Introduction, Basic Definitions, and Standards.- Introduction.- Definitions and Basic Notations.- Floating-Point Formats and Environment.- Part II: Cleverly Using Floating-Point Arithmetic.- Basic Properties and Algorithms.- Enhanced FP Sums, Dot Products, and Polynomial Values.- Languages and Compilers.- Part III: Implementing Floating-Point Operators.- Algorithms for the Basic Operations.- Hardware Implementation of Floating-Point Arithmetic.- Software Implementation of Floating-Point Arithmetic.- Evaluating Floating-Point Elementary Functions.- Part IV: Extensions.- Complex Numbers.- Interval Arithmetic.- Verifying Floating-Point Arithmetic.- Extending the Precision.- Appendix A: Number Theory Tools.- Appendix B: Previous Standards.- References.- Index.