京东 11.11 红包
Introduction to Deligne-Lusztig Theory
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
∞-category theory for undergraduates
...
Mitya Boyarchenko Deligne-Lusztig Theory and the Local Langlands Correspondence
...
数学：数与形的结合以及它能给予我们什么 - 求是科技基金会
...
张寿武 - L-functions
...
Synthetic mathematics with an excursion into computability theory
...
A gentle introduction to group representation theory -Peter Buergisser
...
An introduction to Invariant Theory - Harm Derksen
...
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
...
Jacques Carette What I learned from formalizing Category Theory in Agda
...
How to express a theory in Dedukti - Gilles Dowek
...
On the crossroads of enumerative geometry and representation theory – Andrei Oko
...
Favonia- Cartesian cubical type theory
...
Raphaël Rouquier - Geometric representation theory as representation-theoretic g
...
L-function: Its Past and Future - 张寿武
...
Thierry Coquand - Computational Interpretation of Topos Theory
...
Modular Forms and Representation Theory - Ken Ono - 2016
...
Geordie Williamson (Univ. of Sydney) _ Representation theory and geometry
...
Thierry Coquand: "Sheaf Cohomology in Univalent Type Theory"
...
Higher Category Theory For Beginners With homotopy.io
...
张寿武 - 华罗庚和安德雷•韦伊
...
2017.5.3, 许晨阳, 数学所讲座：代数方程下的空间结构－代数簇的分类
...
Cubical Synthetic Homotopy Theory
...
Representation theory and geometry – Geordie Williamson – ICM2018
...
Type theory and formalization of mathematics - Anders Mörtberg
...
Lawrence Paulson Formalising Contemporary Mathematics in Simple Type Theory
...
André Joyal --- Homotopy type theory a new bridge between logic, category theory
...
Shin, Sugwoo (UC Berkeley) _ A historical introduction to the Langlands program
...
Homotopy type theory working invariantly in homotopy theory -Guillaume Brunerie
...
一些数学视频
...
2013.5.8, 周坚, 数学所讲座：代数曲线的模空间介绍
...
数学所讲座 - 席南华 - 表示，随处可见
...
Categorical actions in geometry and representation theory - Clemens Koppensteine
...
Agda Lecture 1 Introduction to Agda- dependent types and functions -- HoTTEST Su
...
数学所讲座 - 王崧 - 数，我们怎样认识她
...
Martin Escardó, Constructive mathematics in univalent type theory
...
Agda Lecture 7 Cubical Agda - an introduction -- HoTTEST Summer School 2022
...
Carlo Angiuli, Computational semantics of Cartesian cubical type theory
...
Evan Patterson: "A Short Introduction to Categorical Logic"
...
Agda Problem Session 1 Introduction to Agda- types - functions -Astra- - HoTTEST
...
Chromatic homotopy theory - Irina Bobkova