V
主页
京东 11.11 红包
【构造代数】【HIM】Constructive Algebra by Thierry Coquand
发布人
https://youtu.be/Guy60QCTNrk Given by Thierry Coquand during the Summer School on "Types, Sets and Constructions" (May 3 – May 9, 2018) at HIM, Bonn.
打开封面
下载高清视频
观看高清视频
视频下载器
【从证明中提取信息】【HIM】Extraction of Information from Proofs by Ulrich Kohlenbach
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
【范畴化,表示论与辛几何】【HIM】Introductory school at HIM/HCM, Bonn
【为Peter Scholze获菲尔兹奖的祝贺视频】Fields Medal 2018 Congratulations for Peter Scholze
【椭圆曲线与上同调】【HIM】Elliptic cohomology and elliptic curves by Charles Rezk
【代数几何/Algebraic Geometry】【Waterloo】Student Seminar of AG
【Cluster Algebra】【QGM】by Sergey Fomin and Phillippe Di Francesco
【Coq】【OPLSS】Coq Proof Assistant by Adam Chlipala
【Cluster algebras and their types】【ICTS】by Jacob Matherne
大海解说 我的世界我是him14集 notch封印逃脱
Z315次(和谐电3C+25T)列车进站
【物理学家的代数几何】【LMU】Algebraic Geometry for Physicists by Ugo Bruzzo
【抽象代数】【ICTP】Abstract Algebra by Lothar Gottsche
【代数几何初步】【IIT Madras】Basic Algebraic Geometry by T.E. Venkata Balaji
【稳定性与不变随机子群】【HIM】Stability and invariant random subgroups by Andreas Thom
【伪有限群】【HIM】Pseudofinite groups by Dugald Macpherson
【有限表示群的算法】【HIM】Algorithms for finitely presented groups by Derek Holt
【Witt vector】【p-adic】Witt vector by p-adic
【自由意志】【Princeton】The Free Will by John Conway
【恐怖生存】我战胜了HIM!Alpha 1.2.7不存在的版本!【第三期】
【实分析】【ICTP】Real Analysis by Eva Sincich
【生物系统中的优化,推断与学习】【ICTP】Lectures given by Thierry Mora & Aleksandra Walczak
【测度论/Measure Theory】【IMPA】Measure Theory by Claudio Landim
【拓扑斯/topos】【IHES】A Crash Course in Topos Theory: The Big Picture by André JOYAL
随处可见的代码错误,所有特性不复存在!怎样才能生存下去?【错误845第一期】
【Perfectoid空间与W-M猜想】【IHES】Perfectoid Spaces and the W-M Conj. by Peter Scholze
【代数拓扑】【ICTP】Algebraic Topology by Fernando Rodriguez Villegas
【黎曼曲面】【MSRI】Riemann Surfaces by Jacob Bernstein
【代数几何】【ICTP】Algebraic Geometry by Lothar Gottsche
【Representation of acyclic quivers】【ICTS】by Laurent Demonet
【p进群的表示】【IAS】Representations of p-adic groups by Jessica Fintzen
【代数拓扑[中文]】【NTU】Algebraic Topology by Chen-Yu Chi [齐震宇]
【局域化简介】【IHES】Introduction to localization by Francesco BENINI
him真的出现在了游戏里!阿尔法版本!【恐怖生存第一期】
【量子噪声与消相干】【Hannover】Theory of quantum noise and decoherence by Tobias Osborne
【李超代数的表示】【SNS】Representations of Lie superalgebras by Vera Serganova
【共形场论/CFT】【Hannover】Introduction to conformal field theory
【自避随机行走模型】【IHES】The Self-Avoiding Walk Model by Hugo Duminil-Copin
【全纯动力系统简介】【ICTP】Introduction to holomorphic dynamics by R. Dujardin
【拓扑与几何(初步)】【AIMS】Topology & Geometry by Tadashi Tokieda