#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
3:18
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
10.4K views9 months ago
YouTubeHoTT Math
#29 Homotopy Type Theory Explained: Quotient Groups
3:01
#29 Homotopy Type Theory Explained: Quotient Groups
240 views2 months ago
YouTubeHoTT Math
#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
5:08
#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
429 views4 months ago
YouTubeHoTT Math
#34 Homotopy Type Theory Explained: Semi-Direct Products, Automorphisms
4:55
#34 Homotopy Type Theory Explained: Semi-Direct Products, Automorphisms
6 views1 month ago
YouTubeHoTT Math
#27 Homotopy Type Theory Explained: Free products, Wedge sums (reupload)
3:20
#27 Homotopy Type Theory Explained: Free products, Wedge sums (reupload)
171 views3 months ago
YouTubeHoTT Math
Lecture 10| Homotopy Perturbation method: Introduction
19:43
Lecture 10| Homotopy Perturbation method: Introduction
1.9K viewsApr 20, 2025
YouTubeMuhammad Asif Farooq (PhD)
#4 Homotopy Type Theory Explained: Universal Quantifiers
2:25
#4 Homotopy Type Theory Explained: Universal Quantifiers
2.2K views9 months ago
YouTubeHoTT Math
4:56
#9 Homotopy Type Theory Explained: Law of Excluded Middle, Lambda Calculus
1.1K views8 months ago
YouTubeHoTT Math
29:58
Homotopy Analysis Method| Lecture 1
2.3K viewsJan 5, 2025
YouTubeMuhammad Asif Farooq (PhD)
10:08
Homotopy Theory at CRM Barcelona: Research & Collaboration
1.5K views4 months ago
YouTubeCentre de Recerca Matemàtica
48:51
Jacob Lurie: Prismatic Stable Homotopy Theory (March 14, 2025)
4.3K viewsMar 24, 2025
YouTubeSimons Foundation
1:06:49
Telescopic stable homotopy theory - Ishan Levy (IAS Princeton)
128 views4 weeks ago
YouTubeNDGTTC (Group Th, Triangulated Cat) Semina…
13:25
HAM Solution: Example 1
1.4K viewsJan 16, 2025
YouTubeMuhammad Asif Farooq (PhD)
18:46
Lecture 12| HPM for Second Order ODE
680 viewsApr 22, 2025
YouTubeMuhammad Asif Farooq (PhD)
17:22
Lec 11| Homotopy Perturbation Method for First Order ODE
1.4K viewsApr 21, 2025
YouTubeMuhammad Asif Farooq (PhD)
6:57
The Highest Levels of Mathematical Abstraction
5.1K views4 months ago
YouTubeX to Y
0:07
Learning Homotopy Prediction for Optimization‑Based Trajectory Planners for Autonomous Driving
10 views3 months ago
YouTubeAXE Lab
30:05
Lec 13| HPM for Fredholm Integral Equations
516 viewsApr 29, 2025
YouTubeMuhammad Asif Farooq (PhD)
See more
Static thumbnail place holder