LIP6 CNRS Sorbonne Université
Direct Link LIP6 » Nghiên cứu » CALFOR
Photo Responsable

Thème de recherche CALFOR - Formal Calculation

Trưởng nhóm :

Jean-Charles Faugère

Giới thiệu ngắn

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
Sơ đồ site |