Inria
/
Raweb 2009
Presentation of the Project Arénaire
Logo Inria
Arénaire
Computer Arithmetic
2009 Research Team Activity Report
Grenoble - Rhône-Alpes
Area :
Algorithmics, Programming, Software and Architecture
Theme : Algorithms, Certification, and Cryptography
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Introduction
Highlights of the Year
Scientific Foundations
Introduction
Hardware Arithmetic
Algebraic and Elementary Functions
Validation and Automation
Arithmetics and Algorithms
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
Hardware Arithmetic Operators
Efficient Floating-Point Arithmetic and Applications
Correct Rounding of Elementary Functions
Interval Arithmetic
Linear Algebra and Lattice Basis Reduction
Code and Proof Synthesis
Contracts and Grants with Industry
Grant from Minalogic/EMSOC
Grant from Région Rhône-Alpes
STMicroelectronics CIFRE Ph.D. Grant
Mediacom Project
Stone Ridge Technology donation
Other Grants and Activities
National Initiatives
International Initiatives
Dissemination
Conferences, Edition
Doctoral School Teaching
Other Teaching and Service
Leadership within Scientific Community
Committees
Seminars, Conference and Workshop Committees, Invited Conference Talks
Bibliography
Major publications
Publications of the year
References in notes