Algorithme SLZ  Algorithmes  Analyse d'erreur  Analyse numérique  Analyse statique  Apprentissage automatique  Apprentissage machine supervisé  Approximation de fonctions  Approximation polynomiale  Approximation polynomiale rigoureuse  Approximations polynomiales rigoureuses  Architecture VLIW  Architecture des ordinateurs  Arithmetique ordinateur  Arithmetique redondante  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  Arithmétique à virgule flottante, d'intervalles, multi-précision, binaire et décimale  Arrondi correct  Assistant de preuve Coq  Attracteur de Hénon  Attracteurs étranges  Aéronautique  Bibliotheque logicielle  Bibliothèque Flocq  Bibliothèque Maple  Calcul GPGPU  Calcul d'erreur  Calcul haute performance  Calcul rigoureux  Calcul sur des intervalles  Calcul symbolique  Calculs  Calculs en ligne  Calculs numériques  Calculs validés  Certification aéronautique de programmes numériques  Certificats  Circuit integre  Compilation  Computer aided design  Computer arithmetic  Conception assistee  Coq  Dilemme du fabricant de tables  Division de Newton-Raphson  Double-arrondi  Electronique  Erreur d'approximation  Erreur numérique  Erreurs d'arrondi  Expansions virgule flottante  FELIN  Fast2Sum  Field Programmable Gate Arrays  Filtre numérique linéaire  Filtres numériques  Fonction élémentaire  Fonctions  Fonctions D-finies  Fonctions numériques  Fonctions élémentaires  Fpga  Générateur automatique de tests  Informatique -- Mathématiques  Integer programming  Integrated circuit  Lemme de Hensel  Linear programming  Logiciels -- Exactitude  Logiciels -- Validation  Logiciels -- Vérification  Midpoints  Modèles de Chebyshev –  Modèles de Taylor  Multiprécision  Méthodes d'encadrement  Méthodes formelles  Méthodes formelles  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  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 en nombres entiers  Programmation lineaire  Programmation par contraintes  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  Scheduling  Sciences appliquees  Series de Chebyshev  Standard IEEE 754  Structures de données  Synthese architecture partitionnement  Système logarithmique  Systèmes dynamiques  Systèmes embarqués  Sélection du code par le compilateur  Technique de Coppersmith  Traitement du signal  TwoMultFMA  TwoSum  Verification et Validation  normes  É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 :


Jean-Michel Muller a été rapporteur des 2 thèses suivantes :


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