Abstraction  Algorithmes  Algorithmes exacts  Algèbre linéaire  Analyse numérique  Analyse numérique matricielle  Approche par les moments  Approximation polynomiale  Approximations polynomiales rigoureuses  Arithmétique Flottante  Avions -- Turbofans  Avions -- Turboréacteurs  Base de bord  Calcul formel -- Logiciels  Calcul formel  Calcul rigoureux  Calculs validés  Codes projectifs  Commande impulsionelle  Commande optimale  Commande robuste  Commande, Théorie de la  Complexité  Contrôle  Correcteurs d'ordre fixé  Erreur d'approximation  Estimation  Estimation de la Matrice Fondamentale  Extension plate  Factorisation spectrale  Field Programmable Gate Arrays  Fonctions D-finies  Graphes, Théorie des  Hiérarchies  Inégalités matricielles linéaires  Logiciels de CACSD  Management d’énergie  Matrices  Matrices de moments  Matrices polynomiales  Mesures d’occupation  Modèles de Chebyshev –  Modèles de Taylor  Modèles mathématiques  Méthode de relaxation  Méthodes d'encadrement  Nombre chromatique  Nombre d'indépendance  Optimisation Globale  Optimisation combinatoire  Optimisation convexe  Optimisation distributionnellement robuste  Optimisation mathématique  Optimisation polynomiale  Optimisation semi-algébrique  Optimisation semi-définie  Opérateurs Matériels  Polynômes  Production -- Planification  Programmation linéaire  Programmation semi-définie  Programmation semi-définie positive  Programmation semidéfinie  Reconstruction 3D  Rectification d’images  Relaxation  Relaxation, Méthodes de  Relaxations de Lasserre  Sdp  Series de Chebyshev  Structure propre  Systèmes -- Identification  Systèmes dynamiques  Systèmes polynomiaux  Systèmes à commutation  Systémes linéaires à paramêtres variants  Théorie des graphes  Théorie des moments  Toeplitz, Matrices de  Turboréacteurs  Variété de Fritz-John  Variétés  Variétés déterminantielles  Évaluation des fonctions  

Didier Henrion a dirigé les 6 thèses suivantes :


Didier Henrion a été rapporteur des 5 thèses suivantes :

Mathématiques appliquées
Soutenue le 15-04-2013
Thèse soutenue