京东 11.11 红包
L-function: Its Past and Future - 张寿武
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
张寿武 - 华罗庚和安德雷•韦伊
...
张寿武 - L-functions
...
数学：数与形的结合以及它能给予我们什么 - 求是科技基金会
...
2017.5.3, 许晨阳, 数学所讲座：代数方程下的空间结构－代数簇的分类
...
∞-category theory for undergraduates
...
Jon Sterling：redtt and the future of Cartesian cubical type theory
...
一些数学视频
...
HoTT Lecture 9 Function Extensionality -- HoTTEST Summer School 2022
...
2016.10.12, 孙斌勇, 数学所讲座：典型李群和它们的表示
...
Synthetic mathematics with an excursion into computability theory
...
HoTT Problem Session 9 Function Extensionality -Artem-.mp4
...
HoTT Problem Session 9 Function Extensionality -Perry.mp4
...
Geordie Williamson (Univ. of Sydney) _ Representation theory and geometry
...
Agda Lecture 4
...
数学所讲座 - 王崧 - 数，我们怎样认识她
...
2017.3.8, 季理真, 数学所讲座：模空间故事--形变与刚性
...
Ravi Vakil_ Algebraic geometry and the ongoing unification of mathematics _Scien
...
Introduction to Deligne-Lusztig Theory
...
Andrea Vezzosi, Cubical Agda and its extensions
...
Raphaël Rouquier - Geometric representation theory as representation-theoretic g
...
2013.5.8, 周坚, 数学所讲座：代数曲线的模空间介绍
...
'Elements of Mathematics' in the Digital Age by Marc Bezem (Universitetet i Berg
...
Thierry Coquand - Computational Interpretation of Topos Theory
...
Andrew Pitts, Axiomatizing Cubical Sets Models of Univalent Foundations
...
2014.5.7, 刘建亚, 数学所讲座：素数分布与Mobius正交性猜想
...
数学所讲座 - 席南华 - 表示，随处可见
...
Dedukti - LambdaPi - Frederic Blanqui
...
Thierry Coquand, A survey of constructive models of univalence
...
Thierry Coquand, Sheaf models and constructive mathematics
...
Agda Problem Session 7 Cubical Agda - an introduction -Astra- -- HoTTEST Summer
...
Bidirectional Type Checking
...
Representations of finite groups and applications – Pham Huu Tiep – ICM2018
...
Daily applications of the univalence axiom
...
What are hcomp and hfill – Cubical Agda
...
Functional Thursday 70 古典與直構的邏輯學觀點 by 林子期
...
Carlo Angiuli, Computational semantics of Cartesian cubical type theory
...
Andrew Pitts - Models of Univalence in Toposes
...
Synthetic Mathematics in Modal Dependent Type Theories
...
Egbert Rijke Daily applications of the univalence axiom - lecture 3
...
Agda Lecture 9 Homogeneous composition and cubical univalence -- HoTTEST Summer