LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » History » CALFOR
Photo Responsable

Thème de recherche CALFOR - Formal Calculation

Team leader :

Jean-Charles Faugère

Short presentation

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.

 Mentions légales
Site map |