_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > Kim Morrison

Kim Morrison	431 subscribers    RSS
View channel on YouTube Videos Playlists

YT 1 minute 19 seconds 1.9K views Shared 4 years ago Kim Morrison Scratch-based disease simulator, with social distancing YT 1 minute 32 seconds 509 views Shared 4 years ago Kim Morrison Scratch disease simulator YT 13 minutes 10 seconds 3.7K views Shared 4 years ago Kim Morrison Interactive theorem proving demo: infinitely many primes

YT 57 minutes 12 seconds 600 views Shared 4 years ago Kim Morrison 20200213 interactive theorem proving YT 45 minutes 42 seconds 3.3K views Shared 5 years ago Kim Morrison Theorem proving for mathematicians YT 1 hour 22 minutes 34 seconds 137 views Shared 5 years ago Kim Morrison Diagrammatic methods - Bogota school on Quantum Symmetries 20190701

YT 1 hour 9 minutes 54 seconds 1.3K views Shared 5 years ago Kim Morrison 20190605 Introduction to Interactive theorem proving, at the OSU Quantum Symmetries summer school YT 1 hour 19 seconds 1.5K views Shared 5 years ago Kim Morrison Kevin Buzzard on formalisation of mathematics YT 1 hour 2 minutes 1 second 134 views Shared 5 years ago Kim Morrison Higher dimensional algebras, at NCGOA 2019-05-03

YT 1 hour 38 minutes 3 seconds 415 views Shared 5 years ago Kim Morrison 20190412 Noncommutative probability YT 1 hour 17 minutes 29 seconds 176 views Shared 6 years ago Kim Morrison Experiments in Lean - 20181010 YT 55 minutes 31 seconds 115 views Shared 6 years ago Kim Morrison Interactive theorem proving - Adelaide maths colloquium 20181005

YT 52 minutes 21 seconds 69 views Shared 6 years ago Kim Morrison Exotic quantum symmetries - Adelaide differential geometry seminar - 20181005 YT 30 minutes 51 seconds 172 views Shared 6 years ago Kim Morrison 20180823 - Automatic rewriting in Lean YT 55 minutes 45 seconds 385 views Shared 6 years ago Kim Morrison Quantum Probability

YT 53 minutes 53 seconds 90 views Shared 7 years ago Kim Morrison MATH3325 - Week 12 Wednesday YT 52 minutes 13 seconds 1.5K views Shared 7 years ago Kim Morrison MATH3325 - Week 12 Friday - von Neumann algebras and quantum probability YT 55 minutes 48 seconds 60 views Shared 7 years ago Kim Morrison MATH3325 - Week 12 Monday

YT 49 minutes 29 seconds 40 views Shared 7 years ago Kim Morrison MATH3325 - Week 11 Friday YT 57 minutes 12 seconds 36 views Shared 7 years ago Kim Morrison MATH3325 - Week 11 Monday YT 51 minutes 59 seconds 37 views Shared 7 years ago Kim Morrison MATH3325 - Week 10 Friday

YT 42 minutes 39 seconds 33 views Shared 7 years ago Kim Morrison MATH3325 - Week 10 Wednesday YT 1 hour 11 minutes 32 seconds 96 views Shared 7 years ago Kim Morrison Categories generated by a trivalent vertex YT 1 hour 25 seconds 32 views Shared 7 years ago Kim Morrison MATH3325 - Week 10 Monday

YT 50 minutes 42 seconds 50 views Shared 7 years ago Kim Morrison MATH3325 - Week 9 Friday YT 52 minutes 17 seconds 24 views Shared 7 years ago Kim Morrison MATH3325 - Week 9 Wednesday YT 52 minutes 28 seconds 64 views Shared 7 years ago Kim Morrison MATH3325 - Week 8 Friday

YT 52 minutes 23 seconds 44 views Shared 7 years ago Kim Morrison MATH3325 - Week 8 Wednesday YT 53 minutes 15 seconds 35 views Shared 7 years ago Kim Morrison MATH3325 - Week 7 Friday YT 52 minutes 6 seconds 27 views Shared 7 years ago Kim Morrison MATH3325 - Week 7 Wednesday

YT 56 minutes 26 seconds 23 views Shared 7 years ago Kim Morrison MATH3325 - Week 7 Monday YT 52 minutes 29 seconds 36 views Shared 7 years ago Kim Morrison MATH3325 - Week 6 Friday YT 48 minutes 51 seconds 22 views Shared 7 years ago Kim Morrison MATH3325 - Week 6 Wednesday

YT 59 minutes 15 seconds 20 views Shared 7 years ago Kim Morrison MATH3325 - Week 6 Monday YT 54 minutes 13 seconds 31 views Shared 7 years ago Kim Morrison MATH3325 - Friday Week 5 YT 53 minutes 45 seconds 26 views Shared 7 years ago Kim Morrison MATH3325 - Week 5 Wednesday

YT 1 hour 3 seconds 30 views Shared 7 years ago Kim Morrison MATH3325 - Week 5 Monday YT 58 minutes 27 seconds 47 views Shared 7 years ago Kim Morrison MATH3325 - Week 4 Friday YT 54 minutes 7 seconds 24 views Shared 7 years ago Kim Morrison MATH3325 - Week 4 Wednesday

YT 59 minutes 36 seconds 37 views Shared 7 years ago Kim Morrison MATH3325 - Week 4 Monday YT 51 minutes 22 seconds 32 views Shared 7 years ago Kim Morrison MATH3325 - Friday Week 3 YT 54 minutes 7 seconds 47 views Shared 7 years ago Kim Morrison MATH332 - Week 3 Wednesday

YT 57 minutes 21 seconds 41 views Shared 7 years ago Kim Morrison MATH3325 Week 3 - Monday YT 54 minutes 33 seconds 61 views Shared 7 years ago Kim Morrison MATH3325 Week 2 - Wednesday YT 1 hour 2 minutes 58 seconds 96 views Shared 7 years ago Kim Morrison MATH3325 Monday Week 2

YT 54 minutes 15 seconds 638 views Shared 7 years ago Kim Morrison MATH3325 Friday Week 1 YT 1 hour 1 minute 44 seconds 523 views Shared 7 years ago Kim Morrison The Temperley-Lieb category in operator algebras and in link homology YT 1 hour 4 minutes 51 seconds 53 views Shared 8 years ago Kim Morrison Khovanov homology for 4-manifolds and the blob complex - 20120828

YT 1 hour 28 minutes 26 seconds 26 views Shared 8 years ago Kim Morrison Blob homology - Toronto - 2011-10-21 YT 58 minutes 36 seconds 641 views Shared 8 years ago Kim Morrison Khovanov Homology part 1 --- MSRI introductory workshop on link homology --- 2010-01-25 YT 27 minutes 48 seconds 31 views Shared 8 years ago Kim Morrison Blob homology part 2 --- Riverside 2009-11-08

YT 27 minutes 2 seconds 43 views Shared 8 years ago Kim Morrison Blob homology part 1 --- Riverside 2009-11-08 YT 1 hour 1 minute 47 seconds 193 views Shared 8 years ago Kim Morrison Khovanov Homology part 2 --- MSRI introductory workshop on link homology --- 2010-01-26 YT 36 minutes 55 seconds 14 views Shared 8 years ago Kim Morrison Extended Haagerup Exists --- Indiana 2009-03-22

YT 1 hour 2 minutes 32 seconds 125 views Shared 8 years ago Kim Morrison The modular data machine --- Casa Mathematica Oaxaca --- 20160818 YT 34 seconds 67 views Shared 8 years ago Kim Morrison Bungonia Canyoning 20160402 - snippet YT 6 minutes 25 seconds 131 views Shared 8 years ago Kim Morrison Canyoning Bungonia 20160402

YT 22 minutes 34 seconds 133 views Shared 8 years ago Kim Morrison Quantum probability (cutoff; just the first 22 minutes) 20160419 YT 1 hour 6 minutes 20 seconds 389 views Shared 8 years ago Kim Morrison Quantum Subgroups and Higher Quantum McKay Correspondences YT 1 hour 2 minutes 49 seconds 265 views Shared 9 years ago Kim Morrison Topological field theory and fusion categories - Sydney Quantum Information Workshop - 20160203