【证明论基础】【OPLSS】Proof Theory Foundations by Frank Pfenning
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【类型论基础】【OPLSS】Type Theory Foundations by Robert Harper
...
【范畴论基础】【OPLSS】Category Theory Foundations by Steve Awodey
...
【概率论】【IMPA】Probability Theory by Claudio Landim 2020
...
【Coq】【OPLSS】Coq Proof Assistant by Adam Chlipala
...
【逻辑关系】【OPLSS】Logical Relations by Amal Ahmed
...
【测度论/Measure Theory】【IMPA】Measure Theory by Claudio Landim
...
【遍历理论】【ICTP】Ergodic Theory by Stefano Luzzatto
...
【编程语言背景】【OPLSS】Lectures by Robert Harper & Dan Licata
...
【共形场论/CFT】【Hannover】Introduction to conformal field theory
...
【量子噪声与消相干】【Hannover】Theory of quantum noise and decoherence by Tobias Osborne
...
【物理学家的群论】【IPhT】Group Theory in a Nutshell for Physicists by Anthony Zee[徐一鸿]
...
【随机矩阵：理论与实践】【ICTP】Random Matrices: Theory and Practice by Pierpaolo Vivo
...
【从现代分析到数论】【SPBU】Travel on modern analysis and number theory by Harald Helfgott
...
【量子场论/QFT】【Hannover】Quantum field theory by Tobias Osborne
...
【黎曼曲面导论[中文]】【NTU】Introduction to Riemann Surfaces by Chen-Yu Chi [齐震宇]
...
【高阶Teichmuller理论简介】【ICTP】Higher Teichmuller Theory by D. Canary
...
【拓扑斯/topos】【IHES】A Crash Course in Topos Theory: The Big Picture by André JOYAL
...
【概率数论】【IMSc】Probabilistic Number Theory by Jean-Marc Deshouillers
...
【局部类域论】【IMSc】Local Class Field Theory by Denis Benois
...
【李群李代数，表示论与对称空间】【IMPA】Lie Groups, Representation Theory and Symmetric Spaces
...
【弦论与全息对偶】【MIT】String Theory and Holographic Duality by Hong Liu
...
【同伦类型论/HoTT】【CMU】Homotopy Type Theory by Robert Harper
...
【黑洞的数学理论】【IHES】On the Mathematical Theory of Black Holes by Sergiu Klainerman
...
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
...
【从证明中提取信息】【HIM】Extraction of Information from Proofs by Ulrich Kohlenbach
...
【闭弦理论的几何】【IMSc】The Geometry of Closed String Theory by Roji Pius
...
【有限与算法模型论】【Simons】Finite and Algorithmic Model Theory by Anuj Dawar
...
ch配音，英法
...
【解析数论导引】【IMSc】Introduction to Analytic Number Theory by Ram Murty
...
【量子力学与谱理论】【FAU】Lectures on Quantum Theory by Fredric Schuller
...
【复几何[中文]】【NTU】Complex Geometry by Chen-Yu Chi [齐震宇]
...
【黎曼曲面】【MSRI】Riemann Surfaces by Jacob Bernstein
...
【混沌，分形与动力系统】【Vermont】Chaos, Fractals, & Dynamical Systems by Chris Danforth
...
【李型群的表示】【HIM】Representation theory for groups of Lie type by Gerhard Hiss
...
【几何不变理论与模空间】【CIMAT】Geometric Invariant Theory & Moduli by Radu Laza
...
【拓扑与几何(初步)】【AIMS】Topology & Geometry by Tadashi Tokieda
...
【代数拓扑[中文]】【NTU】Algebraic Topology by Chen-Yu Chi [齐震宇]
...
【自守形式与朗兰兹纲领】【MSRI】Automorphic Forms and the Langlands Program by Kevin Buzzard
...
【导出范畴与模空间】【ICTP】Derived categories and moduli spaces by A. Kuznetzov
...
【密码学中的数学】【IAS】Mathematics in Cryptography by Toni Bluher