Section: Overall Objectives
Highlights of the Year
Our Handbook of Floating-Point Arithmetic (Birkhäuser Boston, November 2009, 600 pages, ISBN 78-0-8176-4704-9) gathers years of common work on IEEE floating-point arithmetic.
Team
Arénaire
Overall Objectives
Scientific Foundations
Application Domains
Software
- Introduction
- FLIP: a floating-point library for integer processors
- Sollya: a toolbox of numerical algorithms for the development of safe numerical codes
- Metalibm, a code generator for elementary functions
- CGPE: Code Generation for Polynomial Evaluation
- CRlibm: a Library of Elementary Functions with Correct Rounding
- FloPoCo: a Floating-Point Core generator for FPGAs
- GNU MPFR: a multiple-precision floating-point library with correct rounding
- MPFI: Multiple Precision Floating-Point Interval Arithmetic
- fpLLL: lattice reduction using floating-point arithmetic
- Exhaustive Tests for the Correct Rounding of Mathematical Functions
- SIPE: Small Integer Plus Exponent
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography