Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Summer School 2015 - Geometric measure theory and calculus of variations: theory and applications
42 videos

Summer School 2015 - Geometric measure theory and calculus of variations: theory and applications

Mikhail Gromov : Generation, Transformation, Transmission, Memorization, Storage and Expression of Information From Cell to LLM: Signals, Structures, Knowledge and Learning
1 videos

Mikhail Gromov : Generation, Transformation, Transmission, Memorization, Storage and Expression of Information From Cell to LLM: Signals, Structures, Knowledge and Learning

Cox rings and applications / Anneaux de Cox et applications
5 videos

Cox rings and applications / Anneaux de Cox et applications

Balzan Conference on Open Issues in Gravitation
20 videos

Balzan Conference on Open Issues in Gravitation

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
proof assistants

Keywords > proof assistants

Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback