Hosted by Dailymotion. For legal issues report at the Copyright Center, report us on DMC, or use the Instant Removal tool.
Révolution de la démonstration
6 Views • Jun 29, 2017
Description
Des logiciels permettent de construire, vérifier et transformer des démonstrations mathématiques. Cette métamorphose ouvre des perspectives nouvelles pour les mathématiques et l'informatique qui peuvent ainsi partir à la découverte de contrées nouvelles. Avec Gilles Dowek, chercheur à l'Inria, professeur à l'Ecole normale supérieure de Paris-Saclay.
More from User
Conférence, performance, 50 minutes
Universcience
De l’univers au réacteur
Universcience
Peut-on voir l’invisible ?
Universcience
Visite-rencontre T'educ Frontière
Universcience
Visite-rencontre T'educ Frontière
Universcience
Il était une fois l’argent
Universcience
Related Videos
L'intelligence artificielle pour les cours de mathématiques: entre innovation et apprentissage actif
BFM
Médecine, mathématiques, sciences, quel est l'impact de l'intelligence artificielle ?
France Inter
"Il réussit à s'appuyer sur sa propre vague": Fabrizio Bucella, professeur des universités de physique et mathématiques à Bruxelles, décrypte les performances de Léon Marchand
BFM
Les mathématiques et l’activité physique : un duo gagnant
CIMT-CHAU
La France bouge : Marie José Pestel, Présidente du Comité International des Jeux Mathématiques, fédère des associations du monde entier qui organisent des compétitions de jeux mathématiques
Europe 1
Club de mathématiques du collège Jean Renoir, académie de Versailles : Concours « 1,2,3 Scratchez » – Lancement de l’Année des mathématiques
Eduscol