ASEP  Algèbres de doubles-classes  Algorithmes  Algorithmes d'approximation  Algorithmes parallèles  Algorithmes randomisés  Algorithmique  Algèbre  Algèbre de Hopf  Algèbre de Hopf combinatoire  Algèbre linéaire creuse  Algèbres amassées  Algèbres de doubles-classes  Algèbres de groupes  Analyse combinatoire  Analyse combinatoire énumérative  Analyse statique  Approximation polynomiale  Arbre  Arbres non-ambigus  Arithmétique en virgule flottante  Arithmétique linéaire sur les entiers  Associativité et commutativité  Associaèdre  Automate  Automatisation  Calcul haute performance  Calculs sur GPU  Centres des algèbres de groupe  Coefficients de structure  Coefficients de structures  Combinaison de procédures de décision  Combinatoire  Combinatoire algébrique  Combinatoire algébrique et géométrique  Combinatoire des permutations Compilateurs  Compilation  Complexité asymptotique  Complétion AC  Convolutions  Cylindric plane partitions  Dualité onde-corpuscule  Démonstrateur automatique  Démonstrateurs SMT  Encodage  Euler, Polynômes d'  Factorisation  Fibonacci, Suite de  Fonction de parking  Fonctions quasi-symétriques eulériennes  Fourier-Motzkin  GMRES flexible  Graphe  Graphe gradué  Groupes de permutations  Growth diagrams and local rules  Génération de code  Géométrie combinatoire  Hecke, Algèbres de  Hopf, Algèbres de  Informatique  Informatique fondamentale  Lambda determinants  Libre de somme  Logiciels -- Vérification  Logique de séparation  Macdonald polynomials  Majorant  Matrices tassées  Matrices à signes alternants  Minorant  Modèles de fautes logicielles  Modèle mémoire  Multipermutations  Optimisation  Optimisations du compilateur  Optimisations à la compilation  Ordonnancement affine  Ordre  P-partitions  Parallélisme  Partition  Partitions  Permutations  Permutations de Stirling  Pieri rule  Plate-forme Frama-C  Plate-forme Why  Polymorphisme  Polyominos  Polyominos parallélogrammes périodiques  Polytope  Polytopes convexes  Polyèdres  Preconditionnement  Problèmes bijectifs  Processeurs graphiques  Processus d'exclusion simple asymétrique  Processus stationnaires  Procédures de décision  Programmes numériques  Q-polynômes eulériens  Représentations de groupe et des monoïdes  Représentations de groupes  Représentations de semigroupes  Réalisation polynomiale  Réécriture  Réécriture, Systèmes de  Satisfiabilité Modulo Théories  Schensted-Formin  Schur  Semicircular systems  Shostak  Simplexe  Solveur pARMS  Solveurs linéaires itératifs parallèles  Statistiques de permutations  Structure de donnée  Sureté des programmes  Tableau Hèdre  Tableaux boisés  Tableaux escaliers  Tamari  Théorie des polytopes  Théorèmes -- Démonstration automatique  Tolérance aux fautes  Tolérance aux fautes  Transformations de boucles  Treillis  Triangulation  Vérification de programmes  Vérification deductive  Young, Tableaux de  Young-Fibonacci  Éventail  

Florent Hivert a rédigé la thèse suivante :


Florent Hivert a dirigé les 3 thèses suivantes :


Florent Hivert a été président de jury des 6 thèses suivantes :

Mathématiques et Informatique
Soutenue le 06-07-2017
Thèse soutenue

Florent Hivert a été rapporteur des 2 thèses suivantes :

Mathématiques
Soutenue le 29-04-2014
Thèse soutenue

Florent Hivert a été membre de jury des 5 thèses suivantes :

Mathématiques
Soutenue le 10-07-2015
Thèse soutenue
Informatique
Soutenue le 09-12-2013
Thèse soutenue