SAFEY EL DIN Mohab

Хабилитация
Подразделение : SALSA
Окончание контракта : 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é.

Защита диссертаций : 10.12.2010

Члены жюри :

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]

Профессор

5 Аспиранты (Научны(е)й руководител(и)ь / Со-руководитель)

  • 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 Кандидаты наук 2011 - 2023

Mentions légales
Карта сайта