QOLAPS (INRIA)

Contact : Mohab.Safey (at) nulllip6.fr
Du 01/01/2012 au 01/01/2014

L’objectif de ce projet est de développer les fondements de techniques hybrides symboliques/ numériques pour l’optimisation globale, et la résolution des systèmes polynomiaux. On traitera aussi des notions de conditionnement et de régularisation des problèmes d’optimisation globale au travers de nouveaux algorithmes d’élimination des quantificateurs fondés sur le calcul de bases de Gröbner.

North Carolina State University (USA) et LIP/ENS de Lyon
INRIA

Mohab SAFEY