ARENAIRE - 2011 - Annual activity report

ARENAIRE

ARENAIRE - 2011

Project Team Arenaire

Members

Overall Objectives

Introduction
Highlights

Scientific Foundations

Introduction
Hardware Arithmetic
Algebraic and Elementary Functions
Validation and Automation
Arithmetics and Algorithms

Application Domains

Application Domains

Software

Introduction
FloPoCo
GNU MPFR
Exhaustive Tests for the Correct Rounding of Mathematical Functions
CGPE: Code Generation for Polynomial Evaluation
FLIP: Floating-point Library for Integer Processors
SIPE: Small Integer Plus Exponent

New Results

Hardware Arithmetic and Architecture
Efficient Floating-Point Arithmetic and Applications
Correct Rounding of Elementary Functions
Validation and Automation
Arithmetic and Algorithms

Contracts and Grants with Industry

Contracts with Industry
Grants with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Team Activity Report

ARENAIRE

Computer arithmetic

Research centre: Grenoble - Rhône-Alpes

In partnership with: CNRS, Université Claude Bernard (Lyon 1), Ecole normale supérieure de Lyon

In collaboration with: Laboratoire de l'Informatique du Parallélisme (LIP)

Field: Algorithmics, Programming, Software and Architecture

Theme: Algorithms, Certification, and Cryptography

Keywords: Computer Arithmetic, Floating-Point Numbers, Elementary Function, Computer Algebra, Numerical Methods, Reliability, Interval Analysis, Algorithmic Numbers Theory, Cryptography, FPGA