Don’t miss it: Get 40% off Education & Linguistics books! Save through November 30, 2018.

Handbook of Floating-Point Arithmetic

Authors: Muller, J.-M., Brunie, N., de Dinechin, F., Jeannerod, C.-P., Joldes, M., Lefèvre, V., Melquiond, G., Revol, N., Torres, S.

  • 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
see more benefits

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-319-76526-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.99
price for USA in USD
  • ISBN 978-3-319-76525-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on floating-point numbers, and understanding their various implementations will allow readers to develop programs specifically tailored for the standard’s technical features. Algorithms for floating-point arithmetic are presented throughout the book and illustrated where possible by example programs which show how these techniques appear in actual coding and design.
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. 

About the authors

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

Reviews

“The new edition of this book updates chapters to reflect recent changes to programming languages and compilers and the new prevalence of Graphic Processing Units in recent years. … In the Appendix, the reader will find an introduction to relevant number theory tools … . This book is designed for programmers of numerical applications … and more generally students and researchers in numerical analysis who wish to more accurately understand a tool that they manipulate on an everyday basis.” (T. C. Mohan, zbMATH 1394.65001, 2018)

Table of contents (14 chapters)

  • Introduction

    Muller, Jean-Michel (et al.)

    Pages 3-14

  • Definitions and Basic Notions

    Muller, Jean-Michel (et al.)

    Pages 15-45

  • Floating-Point Formats and Environment

    Muller, Jean-Michel (et al.)

    Pages 47-93

  • Basic Properties and Algorithms

    Muller, Jean-Michel (et al.)

    Pages 97-162

  • Enhanced Floating-Point Sums, Dot Products, and Polynomial Values

    Muller, Jean-Michel (et al.)

    Pages 163-192

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-319-76526-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.99
price for USA in USD
  • ISBN 978-3-319-76525-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Handbook of Floating-Point Arithmetic
Authors
Copyright
2018
Publisher
Birkhäuser Basel
Copyright Holder
Springer International Publishing AG, part of Springer Nature
eBook ISBN
978-3-319-76526-6
DOI
10.1007/978-3-319-76526-6
Hardcover ISBN
978-3-319-76525-9
Edition Number
2
Number of Pages
XXV, 627
Number of Illustrations
59 b/w illustrations, 5 illustrations in colour
Topics