Все публикации

0:01:19

Scratch-based disease simulator, with social distancing

0:01:32

Scratch disease simulator

0:13:10

Interactive theorem proving demo: infinitely many primes

0:57:12

20200213 interactive theorem proving

0:45:42

Theorem proving for mathematicians

1:09:54

20190605 Introduction to Interactive theorem proving, at the OSU Quantum Symmetries summer school

1:38:03

20190412 Noncommutative probability

1:17:29

Experiments in Lean - 20181010

0:55:31

Interactive theorem proving - Adelaide maths colloquium 20181005

0:52:21

Exotic quantum symmetries - Adelaide differential geometry seminar - 20181005

0:30:51

20180823 - Automatic rewriting in Lean

0:55:45

Quantum Probability

0:52:13

MATH3325 - Week 12 Friday - von Neumann algebras and quantum probability

0:53:53

MATH3325 - Week 12 Wednesday

0:55:48

MATH3325 - Week 12 Monday

0:49:29

MATH3325 - Week 11 Friday

0:57:12

MATH3325 - Week 11 Monday

0:51:59

MATH3325 - Week 10 Friday

0:42:39

MATH3325 - Week 10 Wednesday

1:11:32

Categories generated by a trivalent vertex

1:00:25

MATH3325 - Week 10 Monday

0:50:42

MATH3325 - Week 9 Friday

0:52:17

MATH3325 - Week 9 Wednesday

0:52:28

MATH3325 - Week 8 Friday