SAFEY EL DIN Mohab

Habilitation à Diriger des Recherches
Équipe : SALSA
Date de départ : 10/12/2010
https://lip6.fr/Mohab.Safey

Résolution de systèmes polynomiaux sur les réels : algorithmes, complexité, implantations et applications

La résolution de problèmes algébriques non linéaires constitue l’un des grands défis posés au calcul scientifique. Dans de nombreux domaines des sciences de l’ingénieur, ces problèmes algébriques encodent des situations géométriques imposées à des variables à valeurs dans les réels. Le plus souvent, on cherche donc à obtenir des informations sur les solutions réelles de systèmes polynomiaux. La complexité de ces problèmes est souvent exponentielle en le nombre de variables. De plus, le caractère non-linéaire des problèmes considérés ainsi que la nécessité d’obtenir quelques garanties sur la qualité des résultats des calculs font du Calcul Formel un outil privilégié. Les enjeux sont donc multiples : développement d’algorithmes exacts, maîtrise de leur complexité, développement de logiciels efficaces en pratique et identification des spécifications utiles aux utilisateurs. Ces travaux s’appuient sur des idées géométriques récentes aboutissant à des algorithmes efficaces en pratique et une bonne maîtrise de la complexité.

Soutenance : 10/12/2010

Membres du jury :

Mme Valérie BERTHE (DR, CNRS, LIAFA, Université Paris Diderot)
Mr Jean-Charles FAUGERE (DR, INRIA Paris-Rocquencourt)
Mr Marc GIUSTI (DR CNRS, LIX, Ecole Polytechnique)
Mr Didier HENRION (DR CNRS, LAAS, Toulouse)
Mr Daniel LAZARD (PR, UPMC)
Mr Richard POLLACK (Courant Institute, New-York University, USA) [rapporteur]
Mr Bruno SALVY (DR, INRIA Paris-Rocquencourt) [rapporteur]
Mr Pierre SENS (PR, UPMC).
Mr Frank SOTTILE (PR, University Texas A&M, USA) [rapporteur]

Professeur

5 Doctorants (Direction de recherche / Co-encadrement)

  • GOPALAKRISHNAN Sriram : generalizing recent analysis of the F5 algorithm without the genericity assumption
  • KOUBA Robin : Module-theoretic approach to Gröbner bases computations
  • MOHR Rafael : Fast Groebner Bases Algorithms for Ideal Theoretic Computations in Commutative Algebra
  • PÉBEREAU Pierre : Schémas de signatures post-quantiques : construction et cryptanalyse
  • TRAN Kevin : Algorithms for structured approximation and interpolation

8 Docteurs 2011 - 2023

Mentions légales
Carte du site