Inria
/
Raweb 2010
Presentation of the Project Arénaire
Logo Inria
Arénaire
Computer arithmetic
2010 Research Team Activity Report
Grenoble - Rhône-Alpes
Field :
Algorithmics, Programming, Software and Architecture
Theme : Algorithms, Certification, and Cryptography
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Introduction
Highlights
Scientific Foundations
Introduction
Hardware Arithmetic
Algebraic and Elementary Functions
Validation and Automation
Arithmetics and Algorithms
Application Domains
Software
Introduction
GNU MPFR
MPFI
Exhaustive Tests for the Correct Rounding of Mathematical Functions
fpLLL: lattice reduction using floating-point arithmetic
FloPoCo: a Floating-Point Core generator for FPGAs
CGPE: Code Generation for Polynomial Evaluation
FLIP: Floating-point Library for Integer Processors
New Results
Hardware Arithmetic Operators
Efficient Floating-Point Arithmetic and Applications
Correct Rounding of Elementary Functions
Interval Arithmetic
Linear Algebra, Polynomials, and Euclidean Lattices
Code and Proof Synthesis
Contracts and Grants with Industry
Contracts with Industry
Grants with Industry
Other Grants and Activities
Regional Initiatives
National Initiatives
International Initiatives
Dissemination
Animation of the Scientific Community
Committees
Doctoral School Teaching
Other Teaching and Service
Seminars and Invited Conference Talks
Visiting Scientists
Bibliography
Major publications
Publications of the year
References in notes
