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

Team
Arénaire

Scientific Foundations

Application Domains

Software

- Introduction
- CRlibm: a Library of Elementary Functions with Correct Rounding
- Divgen: a Divider Circuit Generator
- FPLibrary: a Library of Operators for ``Real'' Arithmetic on FPGAs
- HOTBM: a VHDL Generator for the Higher-Order Table-Based Method
- LinBox: High Performance Software for Matrix Computations
- MPFI: Multiple Precision Floating-Point Interval Arithmetic
- MPCheck: Testing the Quality of Elementary Functions
- Boost Interval Arithmetic Library
- MEPLib : Machine-Efficient Polynomials Library
- PFF: Formal Proofs about Floats
- A part of the NASA Langley PVS Libraries
- Gappa: a Tool for Certifying Numerical Programs
- FLIP: Floating-point Library for Integer Processors

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