Inria / Raweb 2005
Project: SPACES

Solving Problems through Algebraic Computation and Efficient Software

• 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