【IG 研讨会】数学视野：从格罗滕迪克到今天
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【数学纪录片】Alexander Grothendieck, 天才的旅途
...
【IG研讨会】Caramello, Connes, Grothendieck, Lafforgue - 圆桌讨论
...
【访谈】亚历山大·格罗滕迪克的生平和拓扑斯理论｜Colin McLarty
...
T. Szamuely - Grothendieck和Galois理论
...
Toma Albu - 模格上的预根与其在Grothendieck范畴和torsion理论上的应用
...
【IG开幕典礼】Olivia Caramello - Grothendieck研究所介绍
...
【IG研讨会】Mateo Carmona - 格罗滕迪克研究中心（CSG）介绍
...
Laurent Lafforgue - Grothendieck拓扑斯与它们的表示之间的对偶 IV
...
Laurent Lafforgue - Grothendieck拓扑斯与它们的表示之间的对偶 III
...
Olivia Caramello - Grothendieck拓扑斯作为数学中的统一“桥梁” [法语]
...
Thierry Coquand - 归纳定义与构造主义数学
...
Emily Riehl - 形式化后严格数学
...
Laurent Lafforgue - 拓扑斯作为几何形式与语言描述间的桥梁，第一课：格罗滕迪克拓扑，层，拓扑斯与点
...
Laurent Lafforgue - Grothendieck拓扑斯与它们的表示之间的对偶 II
...
Catharina Stroppel - 迈向高维拓扑量子场论：范畴化的量子不变量
...
[RH Saga] 广义黎曼猜想｜ 黎曼猜想传奇 S1E3
...
Jacob Lurie - Fourier理论的范畴化
...
Patrick Massot - 用证明助手交流数学
...
Graham Manuell - 4/5 无点拓扑与构造主义数学
...
Eric Finster - 同伦论与构造主义数学
...
Amir Akbar Tabatabai - 拓扑斯理论：独立性的统一方法
...
Graham Manuell - 2/5 无点拓扑与构造主义数学
...
Serre, Cartier, Dixmier 和 Connes 谈布尔巴基的 1945-75 年代
...
[RH Saga] BSD猜想, 第2部分｜黎曼猜想传奇 S1E8
...
Gal Dor - GL(2)-模上的幺半结构和抽象自守表示
...
Andrej Bauer - 形式化不可见的数学
...
Jim Arthur - 母题与自守表示
...
[CHAT] Peter Sarnak - 自守尖点表示与Maass形式
...
Paul Dancstep - 什么是范畴论？数学的数学
...
Graham Manuell - 3/5 无点拓扑与构造主义数学
...
Emily Riehl - 关于赋予不同事物相同名字的艺术
...
Peter Haine - 同伦论与代数几何的互动
...
Jeehoon Park - Cassels-Tate配对和Selmer群的算术BF理论
...
Graham Manuell - 1/5 无点拓扑与构造主义数学
...
[RH Saga] L函数公理｜ 黎曼猜想传奇 S1E4
...
Dustin Clausen - 泛函分析的新基础
...
Ingo Blechschmidt - 拥抱本源素理想 (generic prime ideal)：一个迷人的数学幻影的故事
...
Jacob Lurie - 扩展拓扑场论的分类
...
Oded Yacobi - 决斗和对偶: 关于 Évariste Galois 的生活和数学的寓言
...
Jacob Lurie - 什么是... 𝘱进几何?