Activités  Algorithme  Algorithmes  Algorithmes de reconstruction  Algorithmes rapides  Algébricité différentielle  Analyse combinatoire énumérative  Analyse de singularités  Analyse dynamique  Arbre brownien  Bijection  Bornes inférieures  Calcul formel  Calcul numérique  Calcul numérique certifiéâ séries de Tchebycheff  Calculs numériques  Cartes combinatoires  Cartes planaires  Combinatoire analytique  Combinatoire des mots  Combinatoire énumérative  Complexité algébrique  Comportement asymptotique  Constellations  Création télescopique  Diagonale  Dirichlet, Séries de  Décalage creux  Développements asymptotiques  Elimination  Equation de Tutte  Equation polynomiale  Fonction de récurrence  Intégrales  Marche  Équations différentielles linéaires  

Bruno Salvy a rédigé la thèse suivante :

Asymptotique automatique et fonctions generatrices

par Bruno Salvy sous la direction de Jean-Marc Steyaert - Palaiseau, Ecole polytechnique

Sciences appliquées

Soutenue en 1991

Bruno Salvy dirige actuellement la thèse suivante :

Preuves automatiques d'inégalités entre suites et fonctions spéciales

par Alaa Ibrahim sous la direction de Bruno Salvy - Lyon, École normale supérieure

Informatique

En préparation depuis le 01-10-2022

Bruno Salvy a dirigé les 6 thèses suivantes :

Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration

par Stephen Melczer sous la direction de Bruno Salvy et de George Labahn . - Lyon

Informatique

Soutenue le 13-06-2017

Algorithmes rapides pour le calcul symbolique de certaines intégrales de contour à paramètre

par Louis Dumont sous la direction de Bruno Salvy et de Alin Bostan . - Université Paris-Saclay (ComUE)

Mathématiques et informatique

Soutenue le 05-12-2016

Algorithmique semi-numérique rapide des séries de Tchebychev

par Alexandre Benoit sous la direction de Bruno Salvy - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2012

Autour de l'évaluation numérique des fonctions D-finies

par Marc Mezzarobba sous la direction de Bruno Salvy - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2011

Algorithmique efficace pour des opérations de base en calcul formel

par Alin Bostan sous la direction de Marc Giusti et de Bruno Salvy . - Palaiseau, Ecole polytechnique

Mathématiques et informatique

Soutenue en 2003

Une alternative aux méthodes de réécriture pour la résolution des systèmes algébriques

par Grégoire Lecerf sous la direction de Marc Giusti et de Bruno Salvy . - Palaiseau, Ecole polytechnique

Mathématiques et informatique

Soutenue en 2001

Bruno Salvy a été rapporteur des 2 thèses suivantes :

Probabilistic studies in number theory and word combinatorics : instances of dynamical analysis

par Pablo Rotondo sous la direction de Valérie Berthé et de Alfredo Viola . - Sorbonne Paris Cité

Informatique

Soutenue le 27-09-2018

Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification

par Thomas Sibut Pinote sous la direction de Assia Mahboubi - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 04-12-2017

Bruno Salvy a été membre de jury des 5 thèses suivantes :

Permutons limites universels de permutations aléatoires à motifs exclus

par Mickaël Maazoun sous la direction de Grégory Miermont - Lyon

Mathématiques

Soutenue le 23-11-2020

Bornes inférieures et algorithmes de reconstruction pour des sommes de puissances affines

par Timothée Pecatte sous la direction de Pascal Koiran - Lyon

Informatique

Soutenue le 11-07-2018

Enumerative and bijective aspects of combinatorial maps : generalization, unification and application

par Wenjie Fang sous la direction de Guillaume Chapuy et de Mireille Bousquet-Mélou . - Sorbonne Paris Cité

Informatique

Soutenue le 11-10-2016

Combinatoire du polynôme de Tutte et des cartes planaires

par Julien Courtiel sous la direction de Mireille Bousquet-Mélou - Bordeaux

Informatique

Soutenue le 03-10-2014

Résolution sous forme finie d'équations différentielles linéaires et extensions exponentielles

par Anne Fredet sous la direction de Jean Moulin Ollagnier et de Jacques-Arthur Weil . - Palaiseau, Ecole polytechnique

Mathématiques et informatique

Soutenue en 2001