【类型论基础】【OPLSS】Type Theory Foundations by Robert Harper
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【同伦类型论/HoTT】【CMU】Homotopy Type Theory by Robert Harper
...
【编程语言背景】【OPLSS】Lectures by Robert Harper & Dan Licata
...
【证明论基础】【OPLSS】Proof Theory Foundations by Frank Pfenning
...
【范畴论基础】【OPLSS】Category Theory Foundations by Steve Awodey
...
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
...
【Coq】【OPLSS】Coq Proof Assistant by Adam Chlipala
...
【共形场论/CFT】【Hannover】Introduction to conformal field theory
...
【局部类域论】【IMSc】Local Class Field Theory by Denis Benois
...
【测度论/Measure Theory】【IMPA】Measure Theory by Claudio Landim
...
【逻辑关系】【OPLSS】Logical Relations by Amal Ahmed
...
【遍历理论】【ICTP】Ergodic Theory by Stefano Luzzatto
...
【物理学家的群论】【IPhT】Group Theory in a Nutshell for Physicists by Anthony Zee[徐一鸿]
...
【极值与概率组合】【IMPA】Extremal and Probabilistic Combinatorics by Robert Morris
...
【从现代分析到数论】【SPBU】Travel on modern analysis and number theory by Harald Helfgott
...
【量子力学与谱理论】【FAU】Lectures on Quantum Theory by Fredric Schuller
...
【弦论与全息对偶】【MIT】String Theory and Holographic Duality by Hong Liu
...
【几何不变理论与模空间】【CIMAT】Geometric Invariant Theory & Moduli by Radu Laza
...
【量子场论/QFT】【Hannover】Quantum field theory by Tobias Osborne
...
【随机矩阵：理论与实践】【ICTP】Random Matrices: Theory and Practice by Pierpaolo Vivo
...
【概率数论】【IMSc】Probabilistic Number Theory by Jean-Marc Deshouillers
...
【概率论】【IMPA】Probability Theory by Claudio Landim 2020
...
【黑洞的数学理论】【IHES】On the Mathematical Theory of Black Holes by Sergiu Klainerman
...
【拓扑斯/topos】【IHES】A Crash Course in Topos Theory: The Big Picture by André JOYAL
...
【复几何[中文]】【NTU】Complex Geometry by Chen-Yu Chi [齐震宇]
...
【李群李代数，表示论与对称空间】【IMPA】Lie Groups, Representation Theory and Symmetric Spaces
...
【高阶Teichmuller理论简介】【ICTP】Higher Teichmuller Theory by D. Canary
...
【解析数论导引】【IMSc】Introduction to Analytic Number Theory by Ram Murty
...
【量子噪声与消相干】【Hannover】Theory of quantum noise and decoherence by Tobias Osborne
...
【拓扑与几何(初步)】【AIMS】Topology & Geometry by Tadashi Tokieda
...
【李型群的表示】【HIM】Representation theory for groups of Lie type by Gerhard Hiss
...
【有限与算法模型论】【Simons】Finite and Algorithmic Model Theory by Anuj Dawar
...
【点集拓朴简介[中文]】【NTU】General Topology by Chen-Yu Chi [齐震宇]
...
【YANO】Banal Na Aso Santong Kabayo
...
【密码学中的数学】【IAS】Mathematics in Cryptography by Toni Bluher
...
【代数拓扑[中文]】【NTU】Algebraic Topology by Chen-Yu Chi [齐震宇]
...
【抽象代数】【ICTP】Abstract Algebra by Lothar Gottsche
...
【拓扑学】【ICTP】Topology by Bruno Zimmermann
...
【理论物理的几何剖析】【FAU】Geometric Anatomy of Theoretical Physics by Fredric Schuller
...
【Cluster Algebra】【QGM】by Sergey Fomin and Phillippe Di Francesco
...
【黎曼曲面导论[中文]】【NTU】Introduction to Riemann Surfaces by Chen-Yu Chi [齐震宇]