Handbook of Floating-Point Arithmetic

1. Introduction
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

2. Definitions and Basic Notions
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

3. Floating-Point Formats and Environment
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

4. Basic Properties and Algorithms
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

5. The Fused Multiply-Add Instruction
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

6. Enhanced Floating-Point Sums, Dot Products, and Polynomial Values
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

7. Languages and Compilers
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

8. Algorithms for the Five Basic Operations
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

9. Hardware Implementation of Floating-Point Arithmetic
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

10. Software Implementation of Floating-Point Arithmetic
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

11. Evaluating Floating-Point Elementary Functions
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

12. Solving the Table Maker’s Dilemma
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

13. Formalisms for Certifying Floating-Point Algorithms
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

14. Extending the Precision
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

15. Conclusion and Perspectives
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

16. Appendix: Number Theory Tools for Floating-Point Arithmetic
Jean-Michel Muller, Nicolas Brisebarre, Florent Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

Keywords: Mathematics, Computational Mathematics and Numerical Analysis, Algorithm Analysis and Problem Complexity, Algorithms, Math Applications in Computer Science, Appl.Mathematics/Computational Methods of Engineering, Programming Languages, Compilers, Interpreters