V
主页
京东 11.11 红包
L-function: Its Past and Future - 张寿武
发布人
转自 http://ias.ust.hk/web/ias/eng/event_detail.php?p=&tid=2&id=1187
打开封面
下载高清视频
观看高清视频
视频下载器
张寿武 - 华罗庚和安德雷•韦伊
张寿武 - 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