Inria / Raweb 2003
Project: Spaces

Solving Problems through Algebraic Computation and Efficient Software

• Members
• Overall Objectives
• Scientific Foundations
  • Historical Background
  • Zero-Dimensional Polynomial Systems
  • Polynomial Systems of Positive Dimension
  • Arithmetics
  • Solving Problems — Applications
• Application Domains
  • Introduction
  • Robotics
  • Geometrical Reasoning
  • Cryptography
• Software
  • Introduction
  • RS/RealSolving
  • Gb/FGb
  • Implicit Curves Drawing
  • RAGLib
  • Triangular Decomposition
  • Epsilon
  • MPFR
  • MPFI
  • MPAI
  • Exhaustive Tests of the Mathematical Functions
  • Multiplication by an Integer Constant
  • Finite Field Arithmetic
  • UDX
  • Interfaces
  • NetTask
  • TSPR
• New Results
  • Polynomial Arithmetic
  • Floating-Point Arithmetic
  • Cryptography
  • Geometric Reasoning
  • Real Solutions of Systems Depending on Parameters
  • Computation of one Point in each Connected Component of a Real Algebraic Set
  • Computation of one Point in each Connected Component of a Semi-Algebraic Set Defined by non-strict Inequalities
  • Algebraic Identification Problems and Algebraic Systems with Approximated Coefficients
  • Parallel Manipulators
  • Cuspidal Robots
• Contracts and Grants with Industry
  • MuPAD-Scilab Interface
  • Machine-Tools
• Other Grants and Activities
  • National Initiatives
  • European Initiatives
• Dissemination
  • Leadership within Scientific Community
  • Invited Conferences
  • Teaching
• Bibliography
  • Major publications
  • Year Publications
  • References in notes