Theme:
2B

Presentation of the project
- Activity report in
PostScript, PDF or XMLformat- Members
- Overall Objectives
- Scientific Foundations
- Application Domains
- Software
- Crlibm: a library of elementary functions with correct rounding
- Library of validated theorems on floating-point arithmetic
- Robust algorithm for air traffic conflict avoidance
- FPLibrary: operators for ``real'' arithmetic on FPGAs
- Mpcheck: Testing the quality of elementary functions
- LinBox: High performance software for matrix computation
- Multiple Precision Floating-point Interval (MPFI)

- New Results
- Introduction
- Hardware arithmetic operators
- Division algorithms
- Function approximations
- Elementary functions
- Models and properties of floating-point computations
- Faithful computation using Horner's rule
- Robust algorithm to avoid air traffic conflict
- Interval arithmetic with arbitrary precision
- Diophantine approximation
- Exact linear algebra

- Contracts and Grants with Industry
- Other Grants and Activities
- Dissemination
- Bibliography