Section: Contracts and Grants with Industry
Stone Ridge Technology donation
Participants : Florent de Dinechin, Bogdan Pasca.
Stone Ridge Technology has donated a RDX-11 FPGA-based accelerator board to support the FloPoCo project.
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