sam buss: expanders in vnc^1 and monotone propositional proofs
Published 6 years ago • 102 plays • Length 32:39Download video MP4
Download video MP3
Similar videos
-
34:45
shmuel onn: sparse integer programming is fpt
-
14:40
pseudoinverses
-
46:56
hari bercovici: conjectures related to the connes embedding problem
-
9:21
manifolds 1 | introduction and topology
-
14:11
singular value decomposition (the svd)
-
12:01
fives and squares.
-
42:03
michael rathjen: derived rules in set theory
-
43:51
amirhossein akbar tabatabai: proof mining in bounded arithmetic
-
52:27
noah snyder: an algebraic version of the small index subfactor classication
-
54:35
on time, and space, and width, and depth
-
9:09
manifolds 3 | hausdorff spaces