Analyse Statique  Analyse d'erreur  Analyse numérique  Analyse statique  Applications multivoques  Apprentissage automatique  Apprentissage machine supervisé  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 à virgule fixe  Arithmétique à virgule flottante  Arrondi correct  Automatisation  Bibliothèque Maple  Calcul haute performance  Calcul parallèl  Calcul symbolique  Calcule du point fixe  Certificats numériques  Compensation  Décomposition de domaine  Décomposition de domaines  Erreur d'arrondi  Erreur numérique  Erreurs d'arrondi  Fonctions multivoques  Génération automatique de code  Génération de code  Inclusions différentielle  Informatique  Interpretation abstraite  Interprétation abstraite  Itérations sur les politiques  Langages de programmation  Logiciels -- Validation  Logiciels -- Vérification  Nombres flottants  OpenTelemac  Operateurs linéaires continus  Optimisation mathématique  Ordinateurs -- Programmation  Point fixe, Théorème du  Précision Numérique  Précision numérique  Qualité numérique certifiée  Reproductibilité  Simulation hydrodynamique  Simulation par ordinateur  Stratégies de recherches  Systèmes dynamiques hybrides  Systèmes embarqués  Sémantique dénotationnelle  Transformation automatique de programmes  Verification et Validation  Vérification de programmes  Éléments finis  Éléments finis, Méthode des  Équations différentielles  Équations, Systèmes d'  

Matthieu Martel a rédigé la thèse suivante :


Matthieu Martel dirige actuellement les 3 thèses suivantes :

Synthèse de code virgule fixe

par Hanane Benmaghnia sous la direction de Matthieu Martel , Yassamine Seladji et de Xavier Thirioux . - Perpignan

Informatique
En préparation depuis le 16-09-2019
Thèse en préparation

Informatique
En préparation depuis le 10-10-2018
Thèse en préparation

Informatique
En préparation depuis le 01-10-2018
Thèse en préparation


Matthieu Martel a dirigé les 6 thèses suivantes :

Mathématiques appliquées
Soutenue le 04-02-2020
Thèse soutenue


Matthieu Martel a été président de jury de la thèse suivante :


Matthieu Martel a été rapporteur de la thèse suivante :


Matthieu Martel a été membre de jury des 2 thèses suivantes :