Vidéos — Actualités mathématiques | Actumaths - Page 1

Vidéos

36 vidéos ne sont pas affichées ici : des documentaires qui semblent générés par IA. Ils peuvent être intéressants — les afficher

Vidéos

Emeric Tourniaire: Méthodes formelles et sécurité des trains

1:34:54

La méthode B, technique mathématique de vérification formelle, est utilisée dans l'industrie ferroviaire pour garantir la sûreté des logiciels critiques. Cet exposé explore son application au développement et à la modélisation de systèmes complets, tout en soulevant des défis encore ouverts.

CIRM · il y a environ 3 mois
Vidéos

De la philo aux maths, de l'intelligence pas si artificielle | ENS-PSL

50:18

L'ENS-PSL organise une rencontre autour de Stéphane Mallat, mathématicien récompensé par la médaille d'or du CNRS 2025, pour explorer ses contributions aux mathématiques appliquées, au traitement du signal et à l'intelligence artificielle.

École normale supérieure - PSL · il y a environ 5 mois
Vidéos

De la philo aux maths, de l'intelligence pas si artificielle | ENS-PSL

50:18

L'ENS-PSL organise une rencontre autour de Stéphane Mallat, mathématicien récompensé par la médaille d'or du CNRS 2025, pour explorer ses contributions aux mathématiques appliquées, au traitement du signal et à l'intelligence artificielle.

École normale supérieure - PSL · il y a environ 5 mois
Vidéos

Comprendre les maths, pourquoi ? - Les Clés pour comprendre

1:34:56

Une conférence de l'Académie des sciences réunit des chercheurs de haut niveau pour explorer les enjeux des mathématiques : formation citoyenne, plaisir intellectuel et langage de la science contemporaine.

Académie des sciences · il y a environ 5 mois
Vidéos

Cedric Villani

1:00:07

Cédric Villani présente son dernier ouvrage « Leçons de mathématique joyeuse » en conférence. Il revient sur l'histoire des sciences, l'importance de la transmission mathématique à l'école et la place de l'intelligence artificielle dans la recherche contemporaine.

librairie mollat · il y a environ 7 mois
Vidéos

Grothendieck « influenceur » en mathématiques ?

46:24

Leila Schneps, mathématicienne à l'Institut de Mathématiques de Jussieu, propose une exploration de l'oeuvre d'Alexandre Grothendieck et de son impact durable sur la recherche mathématique actuelle.

Institut Henri Poincaré · il y a environ 7 mois