Mathématiques
et Interactions
Accueil
Vidéos
Collections
Instituts
Conférencier·e·s
en
Connexion
Merci de nous
donner votre avis
pour que nous puissions améliorer votre expérience !
3 videos
Dam Thanh Son : Bosonization of Fermi Surface : The Method of Coadjoint Orbits
5 videos
Synthetic mathematics, logic-affine computation and efficient proof systems / Mathématiques synthétiques, calcul logique affine et systèmes de preuve efficients
4 videos
Takeshi Saito : Singular Supports in Equal and Mixed Characteristics
5 videos
Orbit equivalence and topological and measurable dynamics / Equivalence orbitale, dynamique topologique et mesurée
Toutes les collections
Tous les instituts
Mot-clé
> synthetic mathematics
Les vidéos associées à synthetic mathematics
53:36
publiée le
2 octobre 2025
Towards synthetic locale theory
De Ulrik Buchholtz
Voir +
Accueil
Vidéos
Collections
Instituts
Conférencier·e·s
À Propos
Connexion
Fr
/
En
Aide
Mentions légales
& Politique de confidentialité
Copyright Carmin.tv 2025
En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour améliorer votre expérience.
En savoir plus sur notre politique de confidentialité
.
Accepter
Donner son avis
