V
主页
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
发布人
https://youtu.be/5V-qka70DAE Given by Peter Dybjer during the Summer School on "Types, Sets and Constructions" (May 3 – May 9, 2018) at HIM, Bonn.
打开封面
下载高清视频
观看高清视频
视频下载器
【同伦类型论/HoTT】【CMU】Homotopy Type Theory by Robert Harper
【从证明中提取信息】【HIM】Extraction of Information from Proofs by Ulrich Kohlenbach
【测度论/Measure Theory】【IMPA】Measure Theory by Claudio Landim
【类型论基础】【OPLSS】Type Theory Foundations by Robert Harper
【范畴化,表示论与辛几何】【HIM】Introductory school at HIM/HCM, Bonn
【构造代数】【HIM】Constructive Algebra by Thierry Coquand
【概率论】【IMPA】Probability Theory by Claudio Landim 2020
【遍历理论】【ICTP】Ergodic Theory by Stefano Luzzatto
【李群李代数,表示论与对称空间】【IMPA】Lie Groups, Representation Theory and Symmetric Spaces
【为Peter Scholze获菲尔兹奖的祝贺视频】Fields Medal 2018 Congratulations for Peter Scholze
【椭圆曲线与上同调】【HIM】Elliptic cohomology and elliptic curves by Charles Rezk
【物理学家的群论】【IPhT】Group Theory in a Nutshell for Physicists by Anthony Zee[徐一鸿]
【黎曼曲面导论[中文]】【NTU】Introduction to Riemann Surfaces by Chen-Yu Chi [齐震宇]
【有限表示群的算法】【HIM】Algorithms for finitely presented groups by Derek Holt
【伪有限群】【HIM】Pseudofinite groups by Dugald Macpherson
【从现代分析到数论】【SPBU】Travel on modern analysis and number theory by Harald Helfgott
【随机矩阵:理论与实践】【ICTP】Random Matrices: Theory and Practice by Pierpaolo Vivo
【证明论基础】【OPLSS】Proof Theory Foundations by Frank Pfenning
【稳定性与不变随机子群】【HIM】Stability and invariant random subgroups by Andreas Thom
【量子噪声与消相干】【Hannover】Theory of quantum noise and decoherence by Tobias Osborne
MC搞笑动画:杰杰竟然成了凋零的王?还可以召唤白眼him作战!!
【李型群的表示】【HIM】Representation theory for groups of Lie type by Gerhard Hiss
【共形场论/CFT】【Hannover】Introduction to conformal field theory
【高阶Teichmuller理论简介】【ICTP】Higher Teichmuller Theory by D. Canary
【概率数论】【IMSc】Probabilistic Number Theory by Jean-Marc Deshouillers
【局域化简介】【IHES】Introduction to localization by Francesco BENINI
【有限与算法模型论】【Simons】Finite and Algorithmic Model Theory by Anuj Dawar
【解析数论导引】【IMSc】Introduction to Analytic Number Theory by Ram Murty
【复几何[中文]】【NTU】Complex Geometry by Chen-Yu Chi [齐震宇]
【局部类域论】【IMSc】Local Class Field Theory by Denis Benois
【量子力学与谱理论】【FAU】Lectures on Quantum Theory by Fredric Schuller
【拓扑斯/topos】【IHES】A Crash Course in Topos Theory: The Big Picture by André JOYAL
【量子场论/QFT】【Hannover】Quantum field theory by Tobias Osborne
【弦论与全息对偶】【MIT】String Theory and Holographic Duality by Hong Liu
【几何不变理论与模空间】【CIMAT】Geometric Invariant Theory & Moduli by Radu Laza
我的世界都市传说!HIM的秘密通道
【p-可除群】【p-adic】p-divisible group by p-adic
【Witt vector】【p-adic】Witt vector by p-adic
【黑洞的数学理论】【IHES】On the Mathematical Theory of Black Holes by Sergiu Klainerman
【密码学中的数学】【IAS】Mathematics in Cryptography by Toni Bluher