This is a searchable repository of links to math videos. The database is regularly updated with videos from the following websites. If there is a source of videos which you would like to be added to this list, please send me an email at admin@videoarxiv.org.
All talks
-
Title: Characterising QBF Hardness via Circuit Complexity
Speaker:
Link:
-
Title: Why are Proof Complexity Lower Bounds Hard?
Speaker:
Link:
-
Title: Consistency of Circuit Lower Bounds with Bounded Theories
Speaker:
Link:
-
Title: and Edward Hirsch: Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative?
Speaker:
Link:
-
Title: On Depth 1 Frege Systems
Speaker:
Link:
-
Title: Dmitry Sokolov: (Semi)Algebraic Proofs over $\{\pm 1\}$ Variables
Speaker:
Link:
-
Title: Size-Degree Trade-Off for Sums-of-Squares Proofs
Speaker:
Link:
-
Title: Polynomial Calculus Space and Resolution Width
Speaker:
Link:
-
Title: Hardness Condensation
Speaker:
Link:
-
Title: Semialgebraic Proofs and Efficient Algorithm Design
Speaker:
Link:
-
Title: Proof Complexity 2020
Speaker:
Link:
-
Title: Type-II Fractons from Defects in Topological Order
Speaker:
Link:
-
Title:
Speaker:
Link:
-
Title: Tensor gauge theory at Lifshitz transition
Speaker:
Link:
-
Title: Interacting Valley Chern insulator in Moiré systems and avoidable quantum critical points
Speaker:
Link: