2 - kick-off afternoon : georges gonthier, digitizing the group theory of the odd order theorem
Published Streamed 10 years ago • 1.2K plays • Length 40:32Download video MP4
Download video MP3
Similar videos
-
1:04:20
mechanizing the odd order theorem: local analysis - georges gonthier
-
7:04
can you solve this without making the big calculation?
-
9:05
two from malaysia
-
21:56
ext, cohomology and grothendieck's splitting theorem
-
6:49
how to solve a gordian's knot
-
1:09:49
2023-05 math encounters: "knot too shabby: how to turn your knots from blah to fabulous" a. henrich
-
3:18
the double star a 20 sided unilluminable room
-
0:56
ode to joy
-
4:02
the same picture
-
45:38
algorithms and lower bounds for entangled xor games
-
2:58
knot possible---part 2---the answer
-
1:00:52
solution of the yuzvinsky conjecture for certain types of matrices (kee yuen lam)
-
43:36
17june9 tutte's 100th; professor fan chung graham
-
1:04:37
tashi walde: 2-segal spaces as invertible infinity-operads
-
1:14:18
eric finster, towards higher universal algebra in type theory
-
1:04:50
string theory: achievements and perspectives: "old and new fun with large n"
-
55:23
d. grigoriev: universal stratifications
-
3:39
2 pieces for strings from henry v.: no. 1. death of falstaff
-
20:20
non-left-orderable surgeries on twisted torus knots
-
20:21
20nov20 distinguished tutte beyond rank_jordan ellenberg pt1
-
36:10
jiang yang: asymptotically compatible discretization of nonlocal models: quadrature-based ...