. ccNUMA  Algorithmes  Algèbre linéaire  Analyse d'erreur  Analyse numérique matricielle  Arbres  Arithmétique des ordinateurs  Arithmétique en virgule flottante  Arithmétique flottante  Arithmétique interne des ordinateurs  Arithmétique multi-précision  Arithmétique à virgule flottante  Arithmétique à virgule flottante, d'intervalles, multi-précision, binaire et décimale  Attracteur de Hénon  Attracteurs étranges  Aéronautique  Base de Gröbner  Basilisk  Bibliothèque MAGMA  Bibliothèques logicielles pour l’algèbre linéaire dense  Calcul GPGPU  Calcul formel  Calcul hybride multicœur/GPU  Calcul intensif  Certification aéronautique de programmes numériques  Communication-avoiding  Coq  Debugage  Débogage  Décomposition du tenseur  Erreurs d'arrondi  Expansions virgule flottante  Factorisation LU  Fluides, Mécanique des  Gröbner, Bases de  Générateur automatique de tests  Hpc  Intel Xeon Phi  Logiciels -- Vérification  Modèles mathématiques  Multiprocesseurs  Navier-Stokes  Navier-Stokes, Équations de  Octrees  Ondelette  Optimisation  Optimisation combinatoire  PI-algèbres  Placement des processus légers  Poisson  Polynômes  Preuves formelles  Processeurs graphiques  Programmation par contraintes  Programmation parallèle  Programmation semi-définie mal-posée  Randomisation  Runge-Kutta  Runge-Kutta, Méthode de  Résolution de systèmes polynomiaux  Résultant  SSP  Saint Venant  Systèmes dynamiques  Systèmes embarqués  Systèmes linéaires  Systèmes linéaires denses  Systèmes multi-homogènes  Systèmes polynomiaux creux  Virgule flottante  WENO  normes  

Stef Graillat a rédigé la thèse suivante :


Stef Graillat a dirigé les 2 thèses suivantes :


Stef Graillat a été rapporteur des 3 thèses suivantes :


Stef Graillat a été membre de jury des 2 thèses suivantes :