Inria
/
Raweb 2006
Presentation of the Project Arénaire
Logo Inria
Arénaire
Computer Arithmetic
2006 Research Team Activity Report
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Introduction
Hardware Arithmetic
Algebraic and elementary functions
Formal proof and validation
Arithmetics and algorithms
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
Hardware Arithmetic Operators
Number Systems
Efficient Polynomial Approximation
Tools for Efficient Floating-Point Arithmetic
Correct Rounding of Elementary Functions
Interval Arithmetic, Taylor Models and Certification
Algorithms and Software for High Performance Linear Algebra
Contracts and Grants with Industry
Région Rhône-Alpes Grant
Grant from Minalogic/EMSOC
Other Grants and Activities
National Initiatives
European 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