in search of the ideal: toni pitassi and her work on algebraic proof systems
Published Streamed 1 year ago • 795 plays • Length 39:45Download video MP4
Download video MP3
Similar videos
-
31:00
working with toni in algebraic proof complexity
-
1:59:12
how difficult is it to certify that a random 3sat formula is unsatisfiable? - toniann pitassi
-
34:16
my collaborations with toni pitassi
-
38:10
how to solve math problems without talent
-
30:30
open problems that baffled toni (so far)
-
31:01
replicability, pseudodeterminism, and proofs
-
18:16
who cares about topology? (inscribed rectangle problem)
-
53:59
lecture 29 - paul halmos on mathematical writing
-
42:33
beyond computation: the p versus np question (panel discussion)
-
1:03:37
simone virili, factorization systems on derivators
-
56:20
proof complexity and meta-complexity tutorial (2)
-
30:46
a theory of tonics
-
58:41
itcs 2022 session 21
-
36:17
lifting with sunflowers
-
1:00:55
automatability: the proof search problem
-
0:39
this is why topology is hard for people #shorts
-
59:35
richard m. karp distinguished lecture — how difficult is it to certify that a random sat formula is
-
48:46
student session - talks from morgan shirley, adrian she, elliot creager, noah fleming...
-
29:24
set theory | all-in-one video
-
1:03:11
proof complexity and meta-complexity tutorial (1)
-
31:53
deterministic communication vs. partition number