SIGNALER une erreur


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 :

Combinatoire des fonctions quasi-symétiques

par Florent Hivert sous la direction de Jean-Yves Thibon - Université de Marne-la-Vallée

Informatique fondamentale
Soutenue en 1999
Thèse soutenue


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

PermuCamb : Combinatoire, Algèbre et Géométrie des treillis Cambriens aux treillis de Permutarbres

par Daniel Tamayo sous la direction de Florent Hivert , Viviane Pons et de Vincent Pilaud . - université Paris-Saclay

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

Projet OPAHC: Ordres partiels et algèbres de Hopf en combinatoire

par Hugo Mlodecki sous la direction de Florent Hivert - université Paris-Saclay

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 :

Representation of Monoids and Lattice Structures in the Combinatorics of Weyl Groups

par Joël Gay sous la direction de Florent Hivert - Université Paris-Saclay (ComUE)

Informatique
Soutenue le 25-06-2018
Thèse soutenue

Accéder en ligne

Combinatoire des fonctions de parking : espèces, énumération d’automates et algèbres de Hopf

par Jean-Baptiste Priez sous la direction de Florent Hivert - Université Paris-Saclay (ComUE)

Mathématiques et informatique
Soutenue le 07-12-2015
Thèse soutenue

Accéder en ligne

Correspondances de Schensted-Fomin algèbres de Hopf et graphes gradués en dualité

par Janvier Nzeutchap sous la direction de Florent Hivert - Rouen

Informatique
Soutenue en 2008
Thèse soutenue


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

Formalisations d’analyses d’erreurs en analyse numérique et en arithmétique à virgule flottante

par Florian Faissole sous la direction de Sylvie Boldo - Université Paris-Saclay (ComUE)

Informatique
Soutenue le 13-12-2019
Thèse soutenue

Accéder en ligne

Liens combinatoires entre fonctions quasisymétriques et tableaux dans les groupes de Coxeter.

par Alina Mayorova sous la direction de Ekaterina Vassilieva et de Elena Bunina . - Université Paris-Saclay (ComUE)

Mathématiques et Informatique
Soutenue le 12-06-2019
Thèse soutenue

Accéder en ligne

Combinatoire dans des stabilisations du modèle du tas de sable sur la grille Z²

par Henri Derycke sous la direction de Yvan Le Borgne - Bordeaux

Informatique
Soutenue le 10-12-2018
Thèse soutenue

Accéder en ligne

Combinatoire de l’ASEP, arbres non-ambigus et polyominos parallélogrammes périodiques

par Patxi Laborde-Zubieta sous la direction de Jean-Christophe Aval et de Adrien Boussicault . - Bordeaux

Informatique
Soutenue le 08-12-2017
Thèse soutenue

Accéder en ligne

A parallel iterative solver for large sparse linear systems enhanced with randomization and GPU accelerator, and its resilience to soft errors

par Aygul Jamal sous la direction de Marc Baboulin - Université Paris-Saclay (ComUE)

Informatique
Soutenue le 28-09-2017
Thèse soutenue

Accéder en ligne

Geometrical and combinatorial generalizations of the associahedron

par Thibault Manneville sous la direction de Gilles Schaeffer - Université Paris-Saclay (ComUE)

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

Accéder en ligne

Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures

par Mohamed Iguernelala sous la direction de Sylvain Conchon - Paris 11

Informatique
Soutenue le 10-06-2013
Thèse soutenue

Accéder en ligne

Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra

par Ramakrishna Upadrasta sous la direction de Albert Henri Cohen - Paris 11

Informatique
Soutenue le 13-03-2013
Thèse soutenue

Accéder en ligne

Logique de séparation et vérification déductive

par François Bobot sous la direction de Jean-Christophe Filliâtre - Paris 11

Informatique
Soutenue le 12-12-2011
Thèse soutenue

Accéder en ligne

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

Polynominalité des coefficients de structures des algèbres de doubles-classes

par Omar Tout sous la direction de Jean-Christophe Aval et de Valentin Feray . - Bordeaux

Informatique
Soutenue le 24-11-2014
Thèse soutenue

Accéder en ligne

Eulerian calculus arising from permutation statistics

par Zhicong Lin sous la direction de Jiang Zeng - Lyon 1

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

Accéder en ligne

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

Combinatoire algébrique liée aux ordres sur les arbres

par Grégory Chatel sous la direction de Jean-Christophe Novelli - Paris Est

Informatique
Soutenue le 08-12-2015
Thèse soutenue

Accéder en ligne

Nombres de Schur classiques et faibles

par Fanasina Alinirina Rafilipojaona sous la direction de Shalom Eliahou - Littoral

Mathématiques
Soutenue le 10-07-2015
Thèse soutenue

Accéder en ligne

Algèbres de Hopf combinatoires

par Rémi Maurice sous la direction de Jean-Yves Thibon - Paris Est

Informatique
Soutenue le 09-12-2013
Thèse soutenue

Accéder en ligne

Cylindric plane partitions, lambda determinant, commutators in semicircular systems

par Robin Langer sous la direction de Philippe Biane - Paris Est

Informatique
Soutenue le 06-12-2013
Thèse soutenue

Accéder en ligne

Taking architecture and compiler into account in formal proofs of numerical programs

par Thi Minh Tuyen Nguyen sous la direction de Claude Marché et de Sylvie Boldo . - Paris 11

Informatique
Soutenue le 11-06-2012
Thèse soutenue

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales