Photo Responsable

Thème de recherche CALFOR - Formal Calculation

Team leader :

Jean-Charles Faugère

Short presentation

Dessin Bulles HAL

The areas of research include Computer Algebra (Symbolic Computation), more specifically polynomial system solving, Axiom and arithmetic of real numbers and algebraic infinitesimals and effective Galois theory. The findings are useful in various fields: robotics, astronomy, image compression, etc. This is also at the core of SPACES - the first joint project between INRIA and LIP6 – which focuses on solving problems through Algebraic computation and efficient software. This project is located at both INRIA-Lorraine and LIP6.

ATTENTION : L'organisation en thèmes n'existe plus depuis 2006, voir maintenant dans les équipes.

1997 January → 2003 December

Mentions légales
Site map