Français
La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
Multi angle
Authors : Dowek, Gilles (Author of the conference)
CIRM (Publisher )
03B35 - Mechanization of proofs and logical operations
68T05 - Learning and adaptive systems
68T15 - Theorem proving (deduction, resolution, etc.)
Additional resources :
http://www.lsv.fr/~dowek/Slides/explication.pdf
CIRM (Publisher )
Loading the player...
|
Abstract :
MSC Codes : 03B35 - Mechanization of proofs and logical operations
68T05 - Learning and adaptive systems
68T15 - Theorem proving (deduction, resolution, etc.)
Additional resources :
http://www.lsv.fr/~dowek/Slides/explication.pdf
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : French Available date : 11/05/2017 Conference Date : 02/05/2017 Subseries : Research talks arXiv category : Computer Science ; Logic in Computer Science ; Formal Languages and Automata Theory Mathematical Area(s) : Computer Science ; Logic and Foundations Format : MP4 (.mp4) - HD Video Time : 01:13:28 Targeted Audience : Researchers Download : https://videos.cirm-math.fr/2017-05-02_Dowek_2.mp4 
|
Information on the Event
Event Title : Algorithm and Programming / Algorithmique et programmationEvent Organizers : Albert, Luc ; Boisson, François ; Dorra, Francis ; Petit, Antoine Dates : 01/05/17 - 05/05/2017 Event Year : 2017 Event URL : 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 |
See Also
- [Multi angle] Arithmétique à virgule flottante : plaie ou terrain de jeu ? / Author of the conference Boldo, Sylvie.
- [Multi angle] Informatique et physique : quelques interactions / Author of the conference Dowek, Gilles.
- [Multi angle] L'importance des langages en informatique / Author of the conference Berry, Gérard.
- [Post-edited] L'informatique, de la révolution technique à la révolution mentale / Author of the conference Berry, Gérard.
Bibliography
