Mr. Floris van Doorn | Homotopy Type Theory in Lean
50:41
Mr. Floris van Doorn | Homotopy Type Theory in Lean
1 个月前
YouTubeINI Seminar Room 1
Equivariant Stable Homotopy Theory and the Kervaire Invariant Problem 26(end)
45:12
Equivariant Stable Homotopy Theory and the Kervaire Invariant …
已浏览 143 次4 个月之前
bilibili同伦论
Global homotopy theory / Lecture 5: Global classifying spaces
Global homotopy theory / Lecture 5: Global classifying spaces
已浏览 492 次2020年5月5日
YouTubeStefan Schwede
Dr. Jeremy Hahn | A biased view of equivariant stable homotopy theory
Dr. Jeremy Hahn | A biased view of equivariant stable homotopy theory
已浏览 396 次11 个月之前
YouTubeINI Seminar Room 1
Week 1 : Lecture 3
Week 1 : Lecture 3
已浏览 1219 次2021年1月8日
YouTubeNPTEL IIT Bombay
stable homotopy theory
stable homotopy theory
已浏览 2428 次2019年7月12日
bilibilishtuka
等变与 motivic 同伦论, 孔嘉, IAS, 2021
17:03
等变与 motivic 同伦论, 孔嘉, IAS, 2021
已浏览 3313 次2023年4月2日
bilibiliTeichmuller
1:03:34
Connections between classical and motivic stable homotopy theory - …
已浏览 121 次2022年11月23日
bilibili花语深
18:20
What is...homotopy?
已浏览 2.8万 次2021年8月1日
YouTubeVisualMath
5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
已浏览 6.4万 次2017年10月6日
YouTubeComputerphile
13:39
Homotopy definition & example
已浏览 1.3万 次2020年4月8日
YouTubeSkill for Maths
1:51:08
Homotopy Type Theory for Mathematicians
已浏览 1300 次2021年1月29日
bilibiliPoincare
21:15
The Stability and Instability of Steady States
已浏览 8.1万 次2016年5月6日
YouTubeMIT OpenCourseWare
1:16:02
2. Path Homotopy; the Fundamental Group - Pierre Albin
已浏览 4.3万 次2019年1月2日
YouTubeMat Neth
1:03:41
1. History of Algebraic Topology; Homotopy Equivalence - Pierre Al…
已浏览 15.6万 次2019年1月2日
YouTubeMat Neth
【UR】Introduction to stable homotopy theory
已浏览 1753 次2020年12月15日
bilibili尼古丁真博士
12:47
Chapter 6: Homomorphism and (first) isomorphism theorem | Ess…
已浏览 5.6万 次2020年4月15日
YouTubeMathemaniac
11:14
MAPLE Tutorial 2: He's Homotopy Perturbation Method (HPM) MAPL…
已浏览 1.3万 次2017年8月15日
YouTubeScientific Rana
58:36
Jacob Lurie: Brauer Groups in Stable Homotopy Theory
已浏览 2.1万 次2017年7月19日
YouTubeVesna Stojanoska
1:02:42
Mohammed Abouzaid - A new model for stable homotopy
已浏览 749 次2024年2月17日
bilibili筑桥者Hagi
1:19:54
12. Singular Homology; Chain Homotopy - Pierre Albin
已浏览 1.9万 次2019年1月3日
YouTubeMat Neth
22:12
Homotopy type theory
已浏览 463 次2016年1月22日
YouTubeWikiAudio
58:12
Longke Tang: The P^1-motivic cycle map
已浏览 1617 次2023年5月26日
YouTubeHausdorff Center for Mathematics
1:08:49
Algebraic Topology 1: Homotopy Equivalence
已浏览 4万 次2023年9月7日
YouTubeMath at Andrews University
23:31
Introduction to Homotopy Theory- PART 2: (TOPOLOGICAL) HOMOT…
已浏览 3499 次2021年1月5日
YouTubeRuni
1:26:36
Algebraic Topology 10: Simplicial Homology
已浏览 1.8万 次2023年11月17日
YouTubeMath at Andrews University
7:06
Homotopy of paths
已浏览 1.8万 次2019年1月16日
YouTubeAn Antipodal Algebraic Topologist
32:50
Morita Theory in Stable Homotopy Theory
已浏览 530 次2017年8月29日
YouTubexuan-gottfried YANG
1:02:27
Higher Algebra 1: ∞-Categories
已浏览 2.2万 次2020年11月23日
YouTubeHomotopy Theory Münster
53:34
Homotopy and the First Fundamental Group
已浏览 3.7万 次2013年6月14日
YouTubenptelhrd
观看更多视频
静态缩略图占位符