Theme:
SYM

Presentation of the project
- Activity report in
PostScript, PDF or XML format- Members
- Overall Objectives
- Scientific Foundations
- Application Domains
- Software
- Crlibm: A library of elementary functions with correct rounding
- Divgen: a divider circuit generator
- FPLibrary: A library of operators for ``real'' arithmetic on FPGAs
- A VHDL library for integer and modular arithmetic
- LinBox: High performance software for matrix computation
- MPFI: Multiple Precision Floating-point Interval arithmetic
- Boost interval arithmetic library
- MEPLib : Machine-efficient polynomials library
- PFF: Formal Proofs about Floats
- Gappa: A tool for certifying numerical programs

- New Results
- Hardware Arithmetic Operators
- Correctly Rounded Elementary Functions
- Fast Floating-point Arithmetic for Integer Processors
- Properties and Proofs on Floating-point Arithmetic
- Intervals and Guaranteed Proofs to Bound Variables and Errors
- Theory of Computer Arithmetic Algorithms
- Efficient Polynomial Approximation
- Exact Linear Algebra, Algorithms and Software Components

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