京东 11.11 红包
Representation theory and geometry – Geordie Williamson – ICM2018
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
∞-category theory for undergraduates
...
Geordie Williamson (Univ. of Sydney) _ Representation theory and geometry
...
Modular Forms and Representation Theory - Ken Ono - 2016
...
Jacques Carette What I learned from formalizing Category Theory in Agda
...
Representations of finite groups and applications – Pham Huu Tiep – ICM2018
...
How to express a theory in Dedukti - Gilles Dowek
...
On the crossroads of enumerative geometry and representation theory – Andrei Oko
...
张寿武 - L-functions
...
Categorical actions in geometry and representation theory - Clemens Koppensteine
...
Gerhard Hiss Representation theory for groups of Lie type
...
Thierry Coquand: "Sheaf Cohomology in Univalent Type Theory"
...
Carlo Angiuli, Computational semantics of Cartesian cubical type theory
...
Cubical Synthetic Homotopy Theory
...
Synthetic mathematics with an excursion into computability theory
...
Favonia- Cartesian cubical type theory
...
Thierry Coquand - Computational Interpretation of Topos Theory
...
Kuen-Bang Hou (Favonia), Towards efficient cubical type theory
...
Computational Type Theory - Robert Harper - OPLSS 2018
...
Mitya Boyarchenko Deligne-Lusztig Theory and the Local Langlands Correspondence
...
Anders Mörtberg - Unifying Cubical Models of Homotopy Type Theory
...
Higher Category Theory For Beginners With homotopy.io
...
Simon Huber, Homotopy canonicity for cubical type theory
...
Raphaël Rouquier - Geometric representation theory as representation-theoretic g
...
Lawrence Paulson Formalising Contemporary Mathematics in Simple Type Theory
...
数学：数与形的结合以及它能给予我们什么 - 求是科技基金会
...
Ravi Vakil_ Algebraic geometry and the ongoing unification of mathematics _Scien
...
Jon Sterling- How to code your own type theory
...
Chromatic homotopy theory - Irina Bobkova
...
Type theory and formalization of mathematics - Anders Mörtberg
...
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
...
Implementing a Modal Dependent Type Theory
...
Amélia Liao- Univalent Category Theory
...
Introduction to Deligne-Lusztig Theory
...
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra
...
A gentle introduction to group representation theory -Peter Buergisser
...
2017.5.3, 许晨阳, 数学所讲座：代数方程下的空间结构－代数簇的分类
...
Martin Escardó, Constructive mathematics in univalent type theory
...
icm2014, James Arthur, L-functions and automorphic representations
...
Jon Sterling：redtt and the future of Cartesian cubical type theory