Résultats 1 à 2

Dates de soutenance :


Etablissements :

Valider et fermer
  • Lyon (1)
  • Université Laval (Québec, Canada) (1)
  • Université Paris-Saclay (ComUE) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (1)
  • Mathématiques appliquées (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (2)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Desvillettes Laurent (1)
    • Joldes Mioara Maria (1)
    • Lessard Jean-Philippe (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (1)
    • Mathématiques (1)

    Domaines :

    Fullscreen

    ...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

    Résultats 1 à 2