Algorithme SLZ  Algorithmes  Analyse d'erreur  Analyse statique  Approximation de fonctions  Approximation polynomiale  Approximation polynomiale rigoureuse  Approximations polynomiales rigoureuses  Architecture VLIW  Architecture des ordinateurs  Arithmétique Flottante  Arithmétique complexe en virgule flottante  Arithmétique des ordinateurs  Arithmétique en virgule fixe  Arithmétique en virgule flottante  Arithmétique flottante  Arithmétique interne des ordinateurs  Arithmétique multi-précision  Arithmétique par intervalles  Arithmétique virgule flottante  Arithmétique à virgule flottante  Arrondi correct  Attracteur de Hénon  Attracteurs étranges  Bibliotheque logicielle  Bibliothèque Flocq  Bibliothèque Maple  Calcul GPGPU  Calcul d'erreur  Calcul rigoureux  Calcul sur des intervalles  Calcul symbolique  Calculs  Calculs en ligne  Calculs validés  Certificats  Compilation  Dilemme du fabricant de tables  Division de Newton-Raphson  Double-arrondi  Erreur d'approximation  Erreur numérique  Erreurs d'arrondi  Expansions virgule flottante  FELIN  Fast2Sum  Field Programmable Gate Arrays  Fonction élémentaire  Fonctions  Fonctions D-finies  Fonctions numériques  Fonctions élémentaires  Fpga  Informatique -- Mathématiques  Lemme de Hensel  Logiciels -- Exactitude  Logiciels -- Vérification  Midpoints  Modèles de Chebyshev –  Modèles de Taylor  Multiprécision  Méthodes d'encadrement  Norme 2D  Norme IEEE 754-2008  Norme IEEE-754  Norme SUP  Optimisation du compilateur  Optimisations à la compilation  Opérateur dédié  Opérateurs Matériels  Opérateurs matériels  Ordinateurs parallèles  Ordonnancement  Parallélisme  Plate-forme Frama-C  Plate-forme Why  Polynômes  Preuves formelles Coq  Processeur embarqué entier  Processeurs entiers  Processeurs graphiques  Produits de grands entiers  Programmation semi-définie mal-posée  Programmes numériques  Précision arbitraire  RN-code  Racine carrée  Racines entières  Représentation des complexes  Représentations d'algèbres  Reste de Taylor-Lagrange  Réseau euclidien  Réseaux logiques programmables par l'utilisateur  SSReflect  Series de Chebyshev  Standard IEEE 754  Structures de données  Système logarithmique  Systèmes dynamiques  Sélection du code par le compilateur  Technique de Coppersmith  Thèses et écrits académiques  TwoMultFMA  TwoSum  Évaluation des fonctions  

Jean-Michel Muller a rédigé la thèse suivante :

Mathématiques appliquées
Soutenue en 1985
Thèse soutenue

Jean-Michel Muller a dirigé les 24 thèses suivantes :

Sciences et techniques
Soutenue en 2000
Thèse soutenue

Sciences. Informatique fondamentale
Soutenue en 1994
Thèse soutenue

Sciences. Informatique fondamentale
Soutenue en 1993
Thèse soutenue

Mathématiques appliquées
Soutenue en 1991
Thèse soutenue

Jean-Michel Muller a été président de jury de la thèse suivante :