Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Arithmetic of fields: model theory, valuations, and geometry / L'arithmétiques des corps : théories des modèles, valuations, et geometrie
5 videos

Arithmetic of fields: model theory, valuations, and geometry / L'arithmétiques des corps : théories des modèles, valuations, et geometrie

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

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

Journées arithmétiques 2013
10 videos

Journées arithmétiques 2013

Inter'Actions 2015 - colloque pour les doctorants en mathématiques en France
11 videos

Inter'Actions 2015 - colloque pour les doctorants en mathématiques en France

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