京东 11.11 红包
Boaz Katz - 关于无法求解五次方程的Abel定理的简短证明
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【K理论仙境】从负数到K理论
...
T. Szamuely - Grothendieck和Galois理论
...
Askold Khovanskii - Topological Galois Theory
...
Andrew Wiles - 朗兰兹纲领
...
【课程】Peter Scholze - 数域的Habiro环
...
Ivo Dell'Ambrogio - Mackey函子之Yoshida定理的范畴化
...
Kevin Buzzard - 计算机会证明定理吗？
...
Hillel Furstenberg - 为什么我选择了数学
...
Joshua Wrigley - 模型论重构定理的拓扑斯理论框架
...
Jean-Pierre SERRE - Valeurs de caractères
...
Thaísa Tamusiunas - 逆半群作用下的伽罗瓦理论
...
[Palmgren Memorial] Steve Awodey - Frobenius 条件的一种代数证明
...
Samit Dasgupta - 超越理论中的辅助多项式介绍, 第一讲: Baker定理
...
Victor Selivanov - Descriptive Complexity of qcb₀-Spaces
...
Wilberd van der Kallen - 诺特基环上的Friedlander-Suslin定理
...
Alex Kavvos - 二维Kripke语义
...
[CT23] Joshua Wrigley - When are there enough model isomorphisms? [...]
...
[CHAT] Peter Sarnak - 自守尖点表示与Maass形式
...
【课程】Andrej Bauer - 形式化的数学与证明助手
...
Sofía Marlasca Aparicio - Ultrasolid Homotopical Algebra
...
Jacob Lurie - 李代数和同伦论
...
Tony Feng - 辛K-理论上的Galois 作用
...
Patrick Massot - 用证明助手交流数学
...
Patrick Allen - Automorphy Lifting, 3
...
Lingyuan Ye 叶凌远 - 通过拓扑范畴统一模态逻辑
...
Michael Rathjen - 我们如何对普适定理（如费马大定理类型）进行分类？
...
Jacob Lurie - Abstract Algebra in Homotopy-Coherent Mathematics
...
Emily Riehl - 在Rzk证明助手中形式化无穷范畴论
...
Alexander Efimov - 4/6 Dualizable categories and localizing motives
...
[SYCO11] Hugo Paquet - Strong Pseudomonads and Premonoidal Bicategories
...
Raphaël Rouquier - 几何表示论作为表示论几何学
...
Wataru Kai - 关于数域的Green-Tao定理（及其拓展）
...
[CT23] Maru Sarazola - A category of elements for enriched functors
...
Gal Dor - GL(2)-模上的幺半结构和抽象自守表示
...
Dustin Clausen - 泛函分析的新基础
...
Paul Dancstep - 什么是范畴论？数学的数学
...
Matteo Capucci - Softmax 是 Argmax，及实数的逻辑
...
Ian Gleason - Meromorphic vector bundles on the Fargues-Fontaine curve
...
[TeXmacs幻灯片] Massimiliano Gubinelli - 奇异随机偏微分方程的全景
...
Geoffrey Vooys - 4/5 Equivariant Derived Categories