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