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 Hopf  Algèbres de doubles-classes  Algèbres de groupes  Analyse combinatoire  Analyse combinatoire énumérative  Analyse statique  Approximation polynomiale  Arbre  Arbre couvrant  Arbres binaires  Arbres non-ambigus  Arithmétique en virgule flottante  Arithmétique linéaire sur les entiers  Arithmétique à virgule flottante  Associativité et commutativité  Associaèdre  Automate  Automatisation  Bootstrap percolation  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 Combinatoire énumérative et algébrique  Compilateurs  Compilation  Complexe simpliciaux et polytopes  Complexité asymptotique  Complétion AC  Convolutions  Coq  Correspondance RSK  Cylindric plane partitions  Dualité onde-corpuscule  Démonstrateur automatique  Démonstrateurs SMT  Encodage  Erreurs d'arrondi  Euler, Polynômes d'  Factorisation  Fibonacci, Suite de  Fonction de parking  Fonctions de Schur  Fonctions quasi-symétriques eulériennes  Fonctions quasisymétriques de type B  Fourier-Motzkin  GMRES flexible  Graphe  Graphe gradué  Graphes, Théorie des  Groupe hyperoctaèdral  Groupes de permutations  Growth diagrams and local rules  Génération de code  Géométrie combinatoire  Géométrie discrète  Hecke, Algèbres de  Hopf, Algèbres de  Identité de Cauchy  Informatique -- Mathématiques  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  Optimisation combinatoire  Optimisations du compilateur  Optimisations à la compilation  Ordonnancement affine  Ordre  Ordre partiel  P-partitions  Parallélisme  Partition  Partitions  Partitions d'ensembles  Permutations  Permutations  Permutations de Stirling  Pieri rule  Plate-forme Frama-C  Plate-forme Why  Polymorphisme  Polyominos  Polyominos parallélogrammes périodiques  Polytope  Polytopes  Polytopes convexes  Polyèdres  Preconditionnement  Preuves formelles  Problèmes bijectifs  Processeurs graphiques  Processus d'exclusion simple asymétrique  Processus stationnaires  Procédures de décision  Programmes numériques  Q-analogue  Q-polynômes eulériens  Représentations d'algèbres  Représentations de groupe et des monoïdes  Représentations de groupes  Représentations de semigroupes  Runge-Kutta  Runge-Kutta, Méthode de  Réalisation polynomiale  Récurrence  Réécriture  Réécriture, Systèmes de  Satisfiabilité Modulo Théories  Schensted-Formin  Schur  Schur, Fonctions de  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 de dominos  Tableaux escaliers  Tamari  Tas de sable  Théorie des polytopes  Théorie des représentations de carquois  Théorie des treillis  Théorèmes -- Démonstration automatique  Tolérance aux fautes  Tolérance aux fautes  Transformation de Cauchy  Transformations de boucles  Treillis  Treillis de Tamari  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 dirige actuellement les 3 thèses suivantes :

SuCRe : Réalisations de complexes de sous-mots

par Noémie Cartier sous la direction de Florent Hivert et de Vincent Pilaud . - université Paris-Saclay

Informatique
En préparation depuis le 01-10-2021
Thèse en préparation

Mathématiques et Informatique
En préparation depuis le 01-10-2019
Thèse en préparation

Mathématiques et Informatique
En préparation depuis le 01-09-2018
Thèse en préparation


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


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


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