Collection Bourbaki - Juin 2014
Session du 21 juin 2014 - Exposés 1085 à 1088
Apparaît dans la collection : Séminaire Bourbaki
Date(s) 21/06/2014 - 21/06/2014
URL associée https://www.bourbaki.fr/seminaires/2014/Prog_juin14.html
Mathématiques
et Interactions
Date(s) 21/06/2014 - 21/06/2014
URL associée https://www.bourbaki.fr/seminaires/2014/Prog_juin14.html
-
Toutes les vidéos de la collection (4)
![[1085] Théorie des types dépendants et axiome d'univalence]()
01:19:57publiée le 21 juin 2014[1085] Théorie des types dépendants et axiome d'univalence
De Thierry Coquand
![[1085] Théorie des types dépendants et axiome d'univalence](/media/cache/video_light/uploads/video/video-bcb9925c99f0fbef13d673ed5b4793e1.jpg)
![[1086] Developments in formal proofs](/media/cache/video_light/uploads/video/video-ce2a6dc8fc1735a3b803503c0f34563e.jpg)
![[1087] La conjecture de courbure $L^2$](/media/cache/video_light/uploads/video/video-7c75664be2af3aeb626632511afb25a1.jpg)
![[1088] Le problème de Kadison-Singer](/media/cache/video_light/uploads/video/video-b0a48a27494165d826a5083b86c9ab9b.jpg)
-
Suggestions
![Walking back and forth the bridge between graphs and right-angled Artin groups]()
publiée le 10 octobre 2024Walking back and forth the bridge between graphs and right-angled Artin groups
De Ramon Flores
![Binary Pulsar Observations and their Importance for Fundamental Physics and Astrophysics]()
01:13:53publiée le 3 septembre 2024Binary Pulsar Observations and their Importance for Fundamental Physics and Astrophysics
De Michael Kramer
![A generic quantum Wielandt's inequality for matrix and Lie algebras]()
47:12publiée le 26 juillet 2024A generic quantum Wielandt's inequality for matrix and Lie algebras
De Angela Capel
![Wasserstein gradient flows and applications to sampling in machine learning - lecture 1]()
01:31:26publiée le 22 juillet 2024Wasserstein gradient flows and applications to sampling in machine learning - lecture 1
De Anna Korba
