Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Dam Thanh Son : Bosonization of Fermi Surface : The Method of Coadjoint Orbits
3 videos

Dam Thanh Son : Bosonization of Fermi Surface : The Method of Coadjoint Orbits

Synthetic mathematics, logic-affine computation and efficient proof systems / Mathématiques synthétiques, calcul logique affine et systèmes de preuve efficients
5 videos

Synthetic mathematics, logic-affine computation and efficient proof systems / Mathématiques synthétiques, calcul logique affine et systèmes de preuve efficients

Takeshi Saito : Singular Supports in Equal and Mixed Characteristics
4 videos

Takeshi Saito : Singular Supports in Equal and Mixed Characteristics

Orbit equivalence and topological and measurable dynamics / Equivalence orbitale, dynamique topologique et mesurée
5 videos

Orbit equivalence and topological and measurable dynamics / Equivalence orbitale, dynamique topologique et mesurée

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
abstract realizability

Keywords > abstract realizability

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