Pierre Deligne - Alexandre Grothendieck的作品
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【课程】Andrej Bauer - 形式化的数学与证明助手
...
Andrew Wiles - 朗兰兹纲领
...
【法语精听】Vous ne devinerez jamais le talent caché de Philippine Leroy-Beaulieu
...
Jacob Lurie - 李代数和同伦论
...
【访谈】数学的力量：数学如何重塑AI？｜Laurent Lafforgue｜Laurent Massoulié｜Éric Moulines｜芮祥麟
...
Thierry Coquand - 归纳定义与构造主义数学
...
Peter Haine - 同伦论与代数几何的互动
...
Robert Szafarczyk - 提升概形至球谱
...
Jean-Pierre SERRE - Valeurs de caractères
...
加布里埃尔·阿塔尔怒了，在听证会上被嘲笑到崩溃
...
[中法字幕]人为什么会坠入爱河？丨Pourquoi tombe-t-on amoureux ? - France Culture
...
Jim Arthur - 母题与自守表示
...
Geoffrey Vooys - 4/5 Equivariant Derived Categories
...
Emily Riehl - 在Rzk证明助手中形式化无穷范畴论
...
【数学纪录片】Alexander Grothendieck, 天才的旅途
...
[CT23] Marcelo Fiore - Stabilized profunctors and stable species of structures
...
[SAG3] Hugo Moeneclaey - Stacks
...
【拓荒野女孩】勇闯无人区！女扮男踏上冒险路
...
Emily Riehl - 形式化后严格数学
...
Emmanuel Ullmo - Introduction
...
Luca Mesiti - 迈向基本2-拓扑斯
...
【中文字幕】【硬核唯心论】（越后面越难）将现象学理解为先验唯心论？现象学如何回归先验性？；亚历山大·施奈尔《先验与思辨——费希特与胡塞尔》
...
中法字幕|法语好的最强外挂，就是狂刷慢速法语vlog！B站法语口语听力练习天花板，跟着法国博主练就一口地道法腔！（附法语资料）
...
Pierre Cartier访谈
...
Piotr Pstragowski - Spectral weight filtrations
...
Jacob Lurie - Abstract Algebra in Homotopy-Coherent Mathematics
...
发现无国界 | 高等研究院 IAS
...
Johannes Anschütz - 4/4 Introduction to Prismatic Cohomology
...
Max Zeuner - 构造性代数几何的泛等基础
...
Ben Spitz - 代数闭的丹原函子
...
Philippe Michel - Paul Nelson的工作
...
Laurent Lafforgue - Grothendieck拓扑斯作为连接几何，意义与形式语言的桥梁
...
Valeria de Paiva - Dialectica categories and doctrines
...
Calum Hughes - An elementary theory of the 2-category of small categories
...
Guram Bezhanishvili - Varieties of Heyting algebras: what we (still don't) know
...
Robert Burklund - 色零点定理 (The chromatic Nullstellensatz)
...
Laurent Lafforgue - 拓扑斯理论 AI 的草图
...
Adeel A. Khan - 20221031 A Modern Introduction to Algebraic Stacks
...
多版本的音乐剧《巴黎圣母院》的《Belle》听一遍停不下来-音乐剧版-综艺版
...
Benno van den Berg - Algebraic structures for modified realizability