Algorithm and programming / Algorithmique et programmation

Collection Algorithm and programming / Algorithmique et programmation

Organisateur(s) Albert, Luc ; Dorra, Francis ; Petit, Antoine
Date(s) 02/05/2016 - 06/05/2016
URL associée http://conferences.cirm-math.fr/1446.html
00:00:00 / 00:00:00
26 26

La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique

De Gilles Dowek

Apparaît également dans la collection : Exposés de recherche

Informations sur la vidéo

Données de citation

  • DOI 10.24350/CIRM.V.19163803
  • Citer cette vidéo Dowek, Gilles (02/05/2017). La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19163803
  • URL https://dx.doi.org/10.24350/CIRM.V.19163803

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis