30:5120180823 - Automatic rewriting in Lean
A 31-minute video from Kim Morrison: “20180823 - Automatic rewriting in Lean”.
Kim Morrison
465 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
30:51
1:38:0320190412 Noncommutative probability
A 98-minute video from Kim Morrison: “20190412 Noncommutative probability”.
1:09:5420190605 Introduction to Interactive theorem proving, at the OSU Quantum Symmetries summer school
A 70-minute video from Kim Morrison: “20190605 Introduction to Interactive theorem proving, at the OSU Quantum Symmetries summer school”.
57:1220200213 interactive theorem proving
A 57-minute video from Kim Morrison: “20200213 interactive theorem proving”.
1:00:48A 4-manifold invariant from Khovanov homology (UC Davis, 2012-01-31)
A 61-minute video from Kim Morrison: “A 4-manifold invariant from Khovanov homology (UC Davis, 2012-01-31)”.
1:24:18Andre Henriques, Fusion of Defects, Shanks Workshop on CFT, 20111029
Advanced
A 84-minute video from Kim Morrison: “Andre Henriques, Fusion of Defects, Shanks Workshop on CFT, 20111029”.
1:28:26Blob homology - Toronto - 2011-10-21
A 88-minute video from Kim Morrison: “Blob homology - Toronto - 2011-10-21”.
27:02Blob homology part 1 --- Riverside 2009-11-08
A 27-minute video from Kim Morrison: “Blob homology part 1 --- Riverside 2009-11-08”.
27:48Blob homology part 2 --- Riverside 2009-11-08
A 28-minute video from Kim Morrison: “Blob homology part 2 --- Riverside 2009-11-08”.
27:02Blob homology, part I (AMS Meeting, UC Riverside 2009-11-08)
Advanced
A 27-minute video from Kim Morrison: “Blob homology, part I (AMS Meeting, UC Riverside 2009-11-08)”.
1:11:32Categories generated by a trivalent vertex
A 72-minute video from Kim Morrison: “Categories generated by a trivalent vertex”.
1:12:41Categories generated by a trivalent vertex
A 73-minute video from Kim Morrison: “Categories generated by a trivalent vertex”.
1:13:28Categories generated by a trivalent vertex
A 73-minute video from Kim Morrison: “Categories generated by a trivalent vertex”.
1:02:53Computation, quantum mechanics, and topology
A 63-minute video from Kim Morrison: “Computation, quantum mechanics, and topology”.
1:27:20Dan Freed - Invertibility, modularity, and topological field theory - Shanks Workshop, 20111029
Advanced
A 87-minute video from Kim Morrison: “Dan Freed - Invertibility, modularity, and topological field theory - Shanks Workshop, 20111029”.
1:22:34Diagrammatic methods - Bogota school on Quantum Symmetries 20190701
Advanced
A 83-minute video from Kim Morrison: “Diagrammatic methods - Bogota school on Quantum Symmetries 20190701”.
1:06:54Exotic fusion categories - IPAM workshop on "Symmetries and Quantum Matter"
Advanced
A 67-minute video from Kim Morrison: “Exotic fusion categories - IPAM workshop on "Symmetries and Quantum Matter"”.
52:21Exotic quantum symmetries - Adelaide differential geometry seminar - 20181005
Advanced
A 52-minute video from Kim Morrison: “Exotic quantum symmetries - Adelaide differential geometry seminar - 20181005”.
1:17:29Experiments in Lean - 20181010
A 77-minute video from Kim Morrison: “Experiments in Lean - 20181010”.
36:55Extended Haagerup Exists --- Indiana 2009-03-22
A 37-minute video from Kim Morrison: “Extended Haagerup Exists --- Indiana 2009-03-22”.
36:55Extended Haagerup exists (Indiana, 2009-03-22)
A 37-minute video from Kim Morrison: “Extended Haagerup exists (Indiana, 2009-03-22)”.
1:02:01Higher dimensional algebras, at NCGOA 2019-05-03
Advanced
A 62-minute video from Kim Morrison: “Higher dimensional algebras, at NCGOA 2019-05-03”.
26:58How the classification of small index subfactors works (part 2)
A 27-minute video from Kim Morrison: “How the classification of small index subfactors works (part 2)”.
55:31Interactive theorem proving - Adelaide maths colloquium 20181005
Advanced
A 56-minute video from Kim Morrison: “Interactive theorem proving - Adelaide maths colloquium 20181005”.
13:10Interactive theorem proving demo: infinitely many primes
A 13-minute video from Kim Morrison: “Interactive theorem proving demo: infinitely many primes”.
1:07:27Invariants of 4-manifolds from Khovanov homology (Boston College 2012-11-10)
A 67-minute video from Kim Morrison: “Invariants of 4-manifolds from Khovanov homology (Boston College 2012-11-10)”.
1:18:04Kevin Walker's lectures on Topological Quantum Field Theory (part 1 of 8)
A 78-minute video from Kim Morrison: “Kevin Walker's lectures on Topological Quantum Field Theory (part 1 of 8)”.
1:17:16Kevin Walker's lectures on Topological Quantum Field Theory (part 2 of 8)
A 77-minute video from Kim Morrison: “Kevin Walker's lectures on Topological Quantum Field Theory (part 2 of 8)”.
1:06:55Kevin Walker's lectures on Topological Quantum Field Theory (part 3 of 8)
A 67-minute video from Kim Morrison: “Kevin Walker's lectures on Topological Quantum Field Theory (part 3 of 8)”.
1:16:14Kevin Walker's lectures on Topological Quantum Field Theory (part 4 of 8)
A 76-minute video from Kim Morrison: “Kevin Walker's lectures on Topological Quantum Field Theory (part 4 of 8)”.
1:11:05Kevin Walker's lectures on Topological Quantum Field Theory (part 5 of 8)
A 71-minute video from Kim Morrison: “Kevin Walker's lectures on Topological Quantum Field Theory (part 5 of 8)”.
1:24:55Kevin Walker's lectures on Topological Quantum Field Theory (part 6 of 8)
A 85-minute video from Kim Morrison: “Kevin Walker's lectures on Topological Quantum Field Theory (part 6 of 8)”.
1:13:58Kevin Walker's lectures on Topological Quantum Field Theory (part 7 of 8)
A 74-minute video from Kim Morrison: “Kevin Walker's lectures on Topological Quantum Field Theory (part 7 of 8)”.
1:36:44Kevin Walker's lectures on Topological Quantum Field Theory (part 8 of 8)
A 97-minute video from Kim Morrison: “Kevin Walker's lectures on Topological Quantum Field Theory (part 8 of 8)”.
58:36Khovanov Homology part 1 --- MSRI introductory workshop on link homology --- 2010-01-25
A 59-minute video from Kim Morrison: “Khovanov Homology part 1 --- MSRI introductory workshop on link homology --- 2010-01-25”.
1:01:47Khovanov Homology part 2 --- MSRI introductory workshop on link homology --- 2010-01-26
A 62-minute video from Kim Morrison: “Khovanov Homology part 2 --- MSRI introductory workshop on link homology --- 2010-01-26”.