Inria
/
Raweb 2005
Project: SPACES
Logo Inria
Solving Problems through Algebraic Computation and Efficient Software
SPACES
2005 research project activity report
Lorraine
Theme:
SYM
Presentation of the project
- Activity report in
PostScript
,
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
New Results
Integer and Polynomial Arithmetic
Floating-Point Arithmetic
Cryptology
Lattices
Contracts and Grants with Industry
MPQS
European Initiatives
Dissemination
Scientific Animation
Leadership within Scientific Community
Committees memberships
Vulgarization
Teaching
Bibliography
Major publications
Publications of the year
References in notes