京东 11.11 红包
Thomas Powell - Recursive inequalities in applied proof theory
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Lucas Mann - Representation Theory via 6-Functor Formalisms
...
Sarah Harrison - Liouville Theory and Weil-Petersson Geometry
...
Ana Caraiani - A Glimpse into the Langlands Program III
...
Dale Miller - From axioms to synthetic inference rules via focusing
...
Anantharaman, Ghys, Gowers & 陶哲轩 - 数学里的证明
...
Peter Arndt - 抽象母题同伦论 (Abstract motivic homotopy theory) I
...
Daniel Litt - Galois theory of local systems
...
Thomas Nikolaus - 3/3 Continuous K-Theory and Geometric Topology
...
Katherine Stange - 2/3 Number theory through geometry, dynamics and illustration
...
Don Zagier - Reduction theory and periods of modular forms
...
Barbara Fantechi - Derived deformation theory - lecture 1
...
Raffael Stenzel - The Comparison Lemma in higher topos theory
...
Ben Antieau - Azumaya algebras in motivic homotopy theory
...
Peter Arndt - Ranges of functors and elementary classes via topos theory
...
[CT23] Graham Manuell - The representing localic groupoid of a geometric theory
...
Georg Tamme - 3/3 Localizing Invariants and Algebraic K-theory
...
Thomas Nikolaus - Algebraic K-Theory in Geometric Topology
...
Semih Özlem - On the motivic Galois group of a number field
...
[SAG3] Hugo Moeneclaey - Stacks
...
Dustin Clausen - The K-theory of adic spaces
...
Rahul Gupta - Tame class field theory
...
[CT23] Paolo Perrone - Universal properties in probability theory
...
Vincent Pilloni - p-adic Eichler-Shimura theory and an arithmetic application
...
Thierry Coquand - 归纳定义与构造主义数学
...
[CT23] Nathanael Arkor - The formal theory of relative monads
...
Jens Hemelaer - An arithmetic topos for integer matrices (and other monoids)
...
Georg Tamme - 1/3 Localizing Invariants and Algebraic K-theory
...
Cisinski, Nguyen, Walde - 泛等有向类型论 (Univalent Directed Type theory), 第3部分
...
Askold Khovanskii - Topological Galois Theory
...
[CT23] Vanessa Miemietz - Categorification in Representation Theory
...
Barbara Fantechi - Derived deformation theory - lecture 2
...
Sebastian Wolf - Higher Category Theory Internal to an Infinity Topos
...
Dustin Clausen - 3/3 Efimov K-theory
...
Jacob Lurie - Fourier理论的范畴化
...
Constanze Roitzheim - Introduction to Chromatic Homotopy Theory I
...
[NTWS122] Winnie Li 李文卿 - Group based zeta functions
...
Calum Hughes - An elementary theory of the 2-category of small categories
...
Barbara Fantechi - Derived deformation theory - lecture 4
...
Urs Schreiber - Higher Topos Theory in Physics
...
Vincent Pilloni - p-adic Automorphic Forms, 2