Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Dominique Duval

a dirigé 9 thèses
a été président de jury pour 3 thèses
a été membre de jury pour 2 thèses

Algorithmes Algorithmes de Keller-Gehrig Algèbre linéaire Algèbre linéaire exacte Algèbres commutatives Analyse combinatoire énumérative Analyse de l'espace de recherche Anneaux d'entiers Assistants de preuve Bibliothèque mathématique générique Blas Calcul exact Calcul formel Certification de programmes Codes correcteurs d'erreurs Coloration impropre Complétude réfutationnelle Coq Domination Démonstration automatique de théorèmes Effets calculatoires Factorisation Fonctions algébriques Fonctions elliptiques Graphes I-termes Indexation de termes Jacobi, Variétés de Jeux combinatoires Lambda-calcul Langages de programmation -- Sémantique Logiciels -- Exactitude Logique décorée Matrice dense/creuse Matrices boîtes noires Matrices densité Microordinateurs -- Programmation Modulation d'amplitude Modulation de phase Multiplication matricielle dense/SpMV Nombre Distingant Normes Objective Caml Ordonnancements/jeu de galet Patrons de conception Polynôme caracté Polynômes Preuves de programmes Programmation fonctionnelle Programmation fonctionnelle Programmation impérative Programmation logique Rewriting Sémantique opérationnelle Sémantique équationnelle Termination Théorie des types Transmission numérique Triangulation Équations, Systèmes d'

Fullscreen

Algorithmes Algorithmes de Keller-Gehrig Algèbre linéaire Algèbre linéaire exacte Algèbres commutatives Analyse combinatoire énumérative Analyse de l'espace de recherche Anneaux d'entiers Assistants de preuve Bibliothèque mathématique générique Blas Calcul exact Calcul formel Certification de programmes Codes correcteurs d'erreurs Coloration impropre Complétude réfutationnelle Coq Domination Démonstration automatique de théorèmes Effets calculatoires Factorisation Fonctions algébriques Fonctions elliptiques Graphes I-termes Indexation de termes Jacobi, Variétés de Jeux combinatoires Lambda-calcul Langages de programmation -- Sémantique Logiciels -- Exactitude Logique décorée Matrice dense/creuse Matrices boîtes noires Matrices densité

Dominique Duval a dirigé les 9 thèses suivantes :

Certification de programmes avec des effets calculatoires

par Burak Ekici sous la direction de Jean-Guillaume Dumas et de Dominique Duval . - Université Grenoble Alpes (ComUE)

Mathématiques et informatique

Soutenue le 09-12-2015

Thèse soutenue

Accéder en ligne

Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique

par Clément Pernet sous la direction de Dominique Duval et de Jean-Guillaume Dumas . - Université Joseph Fourier (Grenoble ; 1971-2015)

Mathématiques appliquées

Soutenue en 2006

Thèse soutenue

Accéder en ligne

Résolution réelle d'équations et de systèmes d'équations algébro-élémentaires

par Aude Maignan sous la direction de Dominique Duval - Limoges

Mathématiques et applications

Soutenue en 2000

Thèse soutenue

Triangularisation de systèmes constructibles : application à l'évaluation dynamique

par Stéphane Dellière sous la direction de Dominique Duval - Limoges

Informatique et mathématiques appliquées

Soutenue en 1999

Thèse soutenue

Sur la factorisation absolue des polynômes

par Jean-François Ragot sous la direction de Dominique Duval - Limoges

Mathématiques. Calcul formel

Soutenue en 1997

Thèse soutenue

Décodage itératif des codes produits : "turbo-codes en blocs", et évaluations de leurs performances pour des modulations MDP et MAQ sur canal de Gauss et de Rayleigh

par Sylvie Jacq sous la direction de Dominique Duval - Limoges

Électronique

Soutenue en 1996

Thèse soutenue

Calcul symbolique des intégrales hyperelliptiques

par Laurent Bertrand sous la direction de Dominique Duval - Limoges

Mathématiques

Soutenue en 1995

Thèse soutenue

Quelques applications de l'évaluation dynamique

par Teresa Gomez-Diaz sous la direction de Dominique Duval - Limoges

Mathématiques. Calcul formel

Soutenue en 1994

Thèse soutenue

Sur le calcul des places et des anneaux d'entiers d'un corps de fonctions algebriques

par Marc Rybowicz sous la direction de Dominique Duval - Limoges

Sciences et techniques communes

Soutenue en 1990

Thèse soutenue

Dominique Duval a été président de jury des 3 thèses suivantes :

Jeux à objectif compétitif sur les graphes

par Simon Schmidt sous la direction de Sylvain Gravier - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique

Soutenue le 15-12-2016

Thèse soutenue

Accéder en ligne

Automated verification of termination certificates

par Kim Quyen Ly sous la direction de Jean-François Monin et de Frédéric Blanqui . - Grenoble

Informatique

Soutenue le 09-10-2014

Thèse soutenue

Accéder en ligne

Utilisation des schématisations de termes en déduction automatique

par Hicham Bensaid sous la direction de Ricardo Caferra et de Nicolas Peltier . - Grenoble

Informatique

Soutenue le 17-06-2011

Thèse soutenue

Accéder en ligne

Dominique Duval a été membre de jury des 2 thèses suivantes :

Multiplication matricielle efficace et conception logicielle pour la bibliothèque de calcul exact LinBox

par Brice Boyer sous la direction de Jean-Guillaume Dumas - Grenoble

Mathématiques

Soutenue le 21-06-2012

Thèse soutenue

Accéder en ligne

Calcul formel sur les hamiltoniens, application à l'optique et à la mécanique

par François Maltey sous la direction de Michel Demazure - Palaiseau, Ecole polytechnique

Physique

Soutenue en 1992

Thèse soutenue