Thème de recherche CALFOR - Calcul formel
Responsable :
Jean-Charles Faugère
Brève présentation
Le thème CALFOR (Calcul formel) s'intéresse aux systèmes d'équations polynomiales, les applications à la géométrie réelle, la théorie de Galois effective, les langages de la famille d'AXIOM, les preuves d'algorithmes de calcul formel. Les applications touchent plusieurs domaines comme la robotique, l'astronomie la compression d'images.
ATTENTION : L'organisation en thèmes n'existe plus depuis 2006, voir maintenant dans les équipes.
janvier 1997 → décembre 2003