Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Lyon (2)
  • Université Paris-Saclay (ComUE) (2)
  • Belfort-Montbéliard (1)
  • Dijon (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Lille 2 (1)
  • Nancy 1 (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université Laval (Québec, Canada) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (4)
  • Mathématiques appliquées (2)
  • Cancérologie ; radiothérapie (1)
  • Lettres modernes (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (1)
  • Ed Sis 488 (1)
  • École doctorale Biologie-Santé (Lille) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (6)
  • anglais (4)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bosson Jean-Luc (1)
  • Corbineau Pierre (1)
  • Desvillettes Laurent (1)
  • Gautier Laurent (1)
  • Joldes Mioara Maria (1)
  • Kirchner Hélène (1)
  • Lakhnech Yassine (1)
  • Le Riche Rodolphe (1)
  • Lessard Jean-Philippe (1)
  • Mahboubi Assia (1)
  • Mahdjoub Morad (1)
  • Mordon Serge (1)
  • Moreau-Gaudry Alexandre (1)
  • Sagot Jean-Claude (1)
  • Scherpereel Arnaud (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (4)
  • Médecine et santé (2)
  • Sciences de l'ingénieur (2)
  • Langues et linguistique (1)
  • Langues romanes. Français (1)
  • Mathématiques (1)

Domaines :

Fullscreen

...contributionsau thème des preuves assistées par ordinateur: ils’agit de preuves reposant sur le calcul et de...

Accéder en ligne

...des méthodes de preuves assistées par ordinateur pour étudierdes systèmes non linéaires qui résistent...

Accéder en ligne

...and challenged us on it. »Les preuves assistées par ordinateur en analyse mathématique font souvent...

Accéder en ligne
Modèles, méthodes et algorithmes en biologie, santé et environnement

Soutenue le 24-10-2013
thèse soutenue
Mathématiques appliquées

Soutenue le 28-10-2019
thèse soutenue

Résultats 1 à 10