京东 11.11 红包
Emily Riehl - 形式化后严格数学
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Emily Riehl - 数学家，音乐家，教育者
...
Emily Riehl - 在Rzk证明助手中形式化无穷范畴论
...
Will Sawin - 1/6 函数域上的数论
...
Emily Riehl - 关于赋予不同事物相同名字的艺术
...
【数学纪录片】Alexander Grothendieck, 天才的旅途
...
Andrew Wiles - 朗兰兹纲领
...
【课程】Andrej Bauer - 形式化的数学与证明助手
...
Jacob Lurie - 什么是... 𝘱进几何?
...
Peter Haine - 同伦论与代数几何的互动
...
【K理论仙境】从负数到K理论
...
【访谈】亚历山大·格罗滕迪克的生平和拓扑斯理论｜Colin McLarty
...
[RH Saga] 广义黎曼猜想｜ 黎曼猜想传奇 S1E3
...
Emily Riehl - Lecture 1: Contractibility as Uniqueness
...
Hillel Furstenberg - 为什么我选择了数学
...
Jean-Pierre SERRE - Valeurs de caractères
...
Emily Riehl - 同伦类型论的无穷拓扑斯语义 II：泛等基础的单纯形模型
...
Graham Manuell - 1/5 无点拓扑与构造主义数学
...
Yiannis Sakellaridis - Perspectives on Automorphic L-Functions
...
Emily Riehl - Lecture 2: Path induction and the indiscernibility of identicals
...
Emily Riehl - 矩阵范畴里的米田引理（Yoneda lemma）
...
Emily Riehl - Lecture 3: Arrow induction and the dependent Yoneda Lemma
...
Emily Riehl - 同伦类型论的无穷拓扑斯语义 I：依赖类型论的范畴语义
...
Matteo Capucci - Softmax 是 Argmax，及实数的逻辑
...
Graham Manuell - 2/5 无点拓扑与构造主义数学
...
Emily Riehl - 无穷范畴论的模型独立性的证明
...
Emily Riehl - 无穷范畴的综合理论 vs 无穷范畴的综合理论
...
Boaz Katz - 关于无法求解五次方程的Abel定理的简短证明
...
Jeremy Avigad - 形式数学，依赖类型论和拓扑斯研究所
...
Serre, Cartier, Dixmier 和 Connes 谈布尔巴基的 1945-75 年代
...
Alexander Efimov - 4/6 Dualizable categories and localizing motives
...
Terence Tao 陶哲轩 - 1/4 Small gaps between primes
...
David Mumford - 人工智能将如何影响数学研究
...
Paolo Perrone - Convergence of martingales via enriched dagger categories
...
Lingyuan Ye 叶凌远 - 通过拓扑范畴统一模态逻辑
...
Daniel Litt - Galois theory of local systems
...
Christophe Breuil - The local Langlands program and characteristic 𝘱
...
Patrick Massot - 用证明助手交流数学
...
[RH Saga] L函数和朗兰兹纲领｜黎曼猜想传奇 S1E2
...
Paul Dancstep - 什么是范畴论？数学的数学
...
Ingo Blechschmidt - 从证明中提取程序｜关于构造性、可实现性与双重否定的微型课程