Photo Responsable

Thème de recherche CALFOR - Calcul formel

Responsable :

Jean-Charles Faugère

Brève présentation

Dessin Bulles HAL

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.

Annuaire

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