Audience > Students
highschool and undergraduate students
Mathematics
and Interactions
-
Videos linked to StudentsMore +
![Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives]()
01:07:51published on January 5, 2026Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives
By Juan Luis Gastaldi
![Waterproof: transforming a proof assistant into an educational tool]()
01:02:14published on December 15, 2025Waterproof: transforming a proof assistant into an educational tool
By Jim Portegies
![Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs]()
58:23published on December 15, 2025Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs
By Guillaume Baudart , Emilio Jesús Gallego Arias
![[1244] Minimal surfaces via equivariant eigenvalue optimization]()
published on December 9, 2025[1244] Minimal surfaces via equivariant eigenvalue optimization
By Giada Franz
![Les mathématiques comme expérience artistique : table ronde]()
54:56published on July 15, 2025Les mathématiques comme expérience artistique : table ronde
By 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)
