## Section: Software

### Introduction

Arénaire proposes various software and hardware realizations that are accessible from the web page http://www.ens-lyon.fr/LIP/Arenaire/Ware/ . We describe below only those which progressed in 2009.

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

Arénaire proposes various software and hardware realizations that are accessible from the web page http://www.ens-lyon.fr/LIP/Arenaire/Ware/ . We describe below only those which progressed in 2009.