Thème de recherche CALFOR - Formal Calculation
Team leader :
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.