James Borger - 4/4 Witt vectors, arithmetic jet spaces, and algebraic groups
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【课程】Peter Scholze - 数域的Habiro环
...
【课程】Andrej Bauer - 形式化的数学与证明助手
...
Emily Riehl - 形式化后严格数学
...
Dennis Gaitsgory - 几何Langlands猜想的证明
...
André Joyal - A cartesian closed category of algebraic theories
...
Alexander Efimov - 5/6 Dualizable categories and localizing motives
...
Graham Manuell - 4/5 无点拓扑与构造主义数学
...
Alexander Efimov - 6/6 Dualizable categories and localizing motives
...
Alain Connes - Primes, Knots and the Adele Class Space
...
Philippe Michel - Paul Nelson的工作
...
Paolo Perrone - Convergence of martingales via enriched dagger categories
...
Sam McCrosson - Exodromy
...
Sebastian Wolf - Higher Category Theory Internal to an Infinity Topos
...
Luca Mesiti - 迈向基本2-拓扑斯
...
Peter Haine - 同伦论与代数几何的互动
...
Matteo Capucci - Softmax 是 Argmax，及实数的逻辑
...
Graham Manuell - 3/5 无点拓扑与构造主义数学
...
Joshua Wrigley - 模型论重构定理的拓扑斯理论框架
...
T. Szamuely - Grothendieck和Galois理论
...
Pierre Cartier访谈
...
Ingo Blechschmidt - 从证明中提取程序｜关于构造性、可实现性与双重否定的微型课程
...
Ana Caraiani - A Glimpse into the Langlands Program III
...
Christian Liedtke访谈纪念Gerd Faltings七十大寿
...
Jens Hemelaer - An arithmetic topos for integer matrices (and other monoids)
...
【数学纪录片】Alexander Grothendieck, 天才的旅途
...
Philsang Yoo - Langlands对偶和量子场论
...
Robert Szafarczyk - 提升概形至球谱
...
Thierry Coquand - 归纳定义与构造主义数学
...
Emmanuel Ullmo - Introduction
...
Geoffrey Vooys - 5/5 Equivariant Derived Categories
...
Adeel A. Khan - 20221031 A Modern Introduction to Algebraic Stacks
...
Jeehoon Park - Cassels-Tate配对和Selmer群的算术BF理论
...
[SAG3] Max Zeuner - Constructive Equivalence of the two Approaches Alg. Geometry
...
[TeXmacs实例] Vincent Douce - TeXmacs个人快捷键
...
[CHAT] Peter Sarnak - 自守尖点表示与Maass形式
...
Emily Riehl - 在Rzk证明助手中形式化无穷范畴论
...
Adeel A. Khan - 20221219 A Modern Introduction to Algebraic Stacks
...
[SAG3] Hugo Moeneclaey - Stacks
...
Mauro di Nasso - 1/2 Nonstandard natural numbers in arithmetic Ramsey Theory ...
...
Sarah Harrison - Liouville Theory and Weil-Petersson Geometry