Audience > Etudiants
highschool and undergraduate students
Mathématiques
et Interactions
-
Les vidéos associées à EtudiantsVoir +
![Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives]()
01:07:51publiée le 5 janvier 2026Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives
De Juan Luis Gastaldi
![Waterproof: transforming a proof assistant into an educational tool]()
01:02:14publiée le 15 décembre 2025Waterproof: transforming a proof assistant into an educational tool
De Jim Portegies
![Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs]()
58:23publiée le 15 décembre 2025Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs
De Guillaume Baudart , Emilio Jesús Gallego Arias
![[1244] Minimal surfaces via equivariant eigenvalue optimization]()
publiée le 9 décembre 2025[1244] Minimal surfaces via equivariant eigenvalue optimization
De Giada Franz
![Les mathématiques comme expérience artistique : table ronde]()
54:56publiée le 15 juillet 2025Les mathématiques comme expérience artistique : table ronde
De Olivia Caramello , Mateo Carmona , Francesco La Mantia , Charles Alunni , Dominique Lepetz
![[1244] Minimal surfaces via equivariant eigenvalue optimization](/media/cache/video_light/uploads/video/SeminaireBourbaki.jpg)
