## 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 2006.

Team
Arénaire

Scientific Foundations

Application Domains

Software

- Introduction
- CRlibm: a Library of Elementary Functions with Correct Rounding
- FPLibrary: a Library of Operators for ``Real'' Arithmetic on FPGAs
- MPFI: Multiple Precision Floating-Point Interval Arithmetic
- MEPLib: Machine-Efficient Polynomials Library
- Gappa: a Tool for Certifying Numerical Programs
- FLIP: Floating-point Library for Integer Processors
- MPFR

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