Area :
Algorithmics, Programming, Software and Architecture

Theme : Algorithms, Certification, and Cryptography

Presentation of the
Project-Team
- Activity Report in
PDF or XML formatTheme : Algorithms, Certification, and Cryptography

- 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
- 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