LIP6 CNRS Sorbonne Université
Direct Link LIP6 » Recherche » CALFOR
Photo Responsable

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.

 Mentions légales
Carte du site |