Mathematics
and Interactions
-
Videos linked to 68T15 Theorem provingMore +
![Arithmétique à virgule flottante : plaie ou terrain de jeu ?]()
02:30:39published on May 11, 2017Arithmétique à virgule flottante : plaie ou terrain de jeu ?
By Sylvie Boldo
![La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique]()
01:13:28published on May 11, 2017La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
By Gilles Dowek
![Digitizing the Group Theory of the Odd Order Theorem]()
40:32published on April 22, 2014Digitizing the Group Theory of the Odd Order Theorem
By Georges Gonthier
![[1086] Developments in formal proofs](/media/cache/video_light/uploads/video/video-ce2a6dc8fc1735a3b803503c0f34563e.jpg)
