- Connaître la Bibliothèque
- Trouver un livre
- Trouver une revue
- Faire une recherche bibliographique
- Trouver un document électronique
0
Multi angle
La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
Auteurs : Dowek, Gilles (Auteur de la Conférence)
CIRM (Editeur )
CIRM (Editeur )
- [Multi angle] Arithmétique à virgule flottante : plaie ou terrain de jeu ? / Auteur de la Conférence Boldo, Sylvie.
- [Multi angle] Informatique et physique : quelques interactions / Auteur de la Conférence Dowek, Gilles.
- [Multi angle] L'importance des langages en informatique / Auteur de la Conférence Berry, Gérard.
- [ Post-edited] L'informatique, de la révolution technique à la révolution mentale / Auteur de la Conférence Berry, Gérard.
Loading the player...
Résumé :
Codes MSC : 03B35 - Mechanization of proofs and logical operations
68T05 - Learning and adaptive systems
68T15 - Theorem proving (deduction, resolution, etc.)
Ressources complémentaires :
http://www.lsv.fr/~dowek/Slides/explication.pdf
|
Informations sur la Vidéo
Langue : FrançaisDate de publication : 11/05/2017 Date de captation : 02/05/2017 Collection : Computer Science ; Logic and Foundations Sous collection : Research talks Format : MP4 Domaine : Computer Science ; Logic and Foundations Durée : 01:13:28 Audience : Chercheurs ; Doctorants , Post - Doctorants Download : https://videos.cirm-math.fr/2017-05-02_Dowek_2.mp4 
|
Informations sur la rencontre
Nom de la rencontre : Algorithm and Programming / Algorithmique et programmationOrganisateurs de la rencontre : Albert, Luc ; Boisson, François ; Dorra, Francis ; Petit, Antoine Dates : 01/05/17 - 05/05/2017 Année de la rencontre : 2017 URL Congrès : http://conferences.cirm-math.fr/1597.html Citation Data
DOI : 10.24350/CIRM.V.19163803Cite this video as: Dowek, Gilles (2017). La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19163803 URI : http://dx.doi.org/10.24350/CIRM.V.19163803 |
Voir aussi
Bibliographie
Z