Inria
/
Raweb 2006
Presentation of the Project SPACES
Logo Inria
SPACES
Solving Problems through Algebraic Computation and Efficient Software
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
Linear Algebra
Arithmetics
Application Domains
Cryptology
Computational Number Theory Systems
Arithmetics
Software
Introduction
MPFR
MPC
GMP-ECM
Exhaustive Tests of the Mathematical Functions
Worst-cases of Mathematical Functions
Floating-point LLL
Correctly rounded quadratures
Local fields
Finite fields
New Results
Floating-Point Arithmetic
Algorithmic number theory and cryptology
Lattices
Contracts and Grants with Industry
MPQS
Other Grants and Activities
National Initiatives
European Initiatives
Dissemination
Scientific Animation
Leadership within Scientific Community
Committees memberships
Teaching
Bibliography
Major publications
Publications of the year
References in notes