Overview
- 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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The volume itself breaks its core topic into four parts: the basic concepts and history of floating-point arithmetic; methods of analyzing floating-point algorithms and optimizing them; implementations of IEEE 754-2008 in hardware and software; and useful extensions to the standard floating-point system, such as interval arithmetic, double- and triple-word arithmetic, operations on complex numbers, and formal verification of floating-point algorithms. This new edition updates chapters to reflect recent changes to programming languages and compilers and the new prevalence of GPUs in recent years. The revisions also add material on fused multiply-add instruction, and methods of extending the floating-point precision.
As supercomputing becomes more common, more numerical engineers will need to use number representation to account for trade-offs between various parameters, such as speed, accuracy, and energy consumption. The Handbook of Floating-Point Arithmetic is designed for students and researchers in numerical analysis, programmers of numerical algorithms, compiler designers, and designers of arithmetic operators.
Similar content being viewed by others
Keywords
Table of contents (14 chapters)
-
Introduction, Basic Definitions, and Standards
-
Cleverly Using Floating-Point Arithmetic
-
Implementing Floating-Point Operators
-
Extensions
Reviews
Authors and Affiliations
About the authors
Florent de Dinechin, INSA Lyon, Laboratoire CITI, Socrate team
Claude-Pierre Jeannerod, Inria, Laboratoire LIP, AriC team
Mioara Joldes, CNRS, LAAS, MAC team
Vincent Lefèvre, Inria, Laboratoire LIP, AriC team
Guillaume Melquiond, Inria, Laboratoire LRI, Toccata team
Nathalie Revol, Inria, Laboratoire LIP, AriC team
Serge Torres, ENS de Lyon, Laboratoire LIP, AriC team
Bibliographic Information
Book Title: Handbook of Floating-Point Arithmetic
Authors: Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, … Serge Torres
DOI: https://doi.org/10.1007/978-3-319-76526-6
Publisher: Birkhäuser Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Hardcover ISBN: 978-3-319-76525-9Published: 24 May 2018
Softcover ISBN: 978-3-030-09513-0Published: 03 January 2019
eBook ISBN: 978-3-319-76526-6Published: 02 May 2018
Edition Number: 2
Number of Pages: XXV, 627
Number of Illustrations: 59 b/w illustrations, 5 illustrations in colour
Topics: Computational Mathematics and Numerical Analysis, Algorithm Analysis and Problem Complexity, Algorithms, Math Applications in Computer Science, Mathematical and Computational Engineering, Programming Languages, Compilers, Interpreters