Theme :
SYM

Presentation of the
Project-Team
- Activity Report in
PDF or XML format- Members
- 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
- CRlibm: a Library of Elementary Functions with Correct Rounding
- FloPoCo: a Floating-Point Core generator for FPGAs
- FPLibrary: a Library of Operators for “Real” Arithmetic on FPGAs
- MPFI: Multiple Precision Floating-Point Interval Arithmetic
- MPFR: a multiple-precision floating-point library with correct rounding
- fpLLL: lattice reduction using floating-point arithmetic
- Exhaustive Tests for the Correct Rounding of Mathematical Functions

- New Results
- Contracts and Grants with Industry
- Other Grants and Activities
- Dissemination
- Bibliography