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: Survey on integrating cutting planes in CDCL solvers
Speaker:
Link:
-
Title: Leveraging Groebner bases and SAT for hardware/software verification
Speaker:
Link:
-
Title: Caching more than just bad partial assignments (clauses)?
Speaker:
Link:
-
Title: Open Problem Session Discussion
Speaker:
Link:
-
Title: Anatomy and Empirical Evaluation of Modern SAT Solvers
Speaker:
Link:
-
Title: Where does SAT not work?
Speaker:
Link:
-
Title: Understanding the power of glue clauses
Speaker:
Link:
-
Title: Mini-tutorial on weak proof systems and connections to SAT solving
Speaker:
Link:
-
Title: Mini-tutorial on preprocessing
Speaker:
Link:
-
Title: Mini-tutorial on conflict-driven clause learning (CDCL)
Speaker:
Link:
-
Title: Panel: Collaboration between mathematicians and mathematics education researchers (Leonor Varas, Yvonne Lai, Frédéric Gourdeau)
Speaker:
Link:
-
Title: Collaboration between mathematicians and mathematics education researchers
Speaker:
Link:
-
Title: Finding footholds: charting a route to math education (research)
Speaker:
Link:
-
Title: Canadian Mathematics Education Study Group
Speaker:
Link:
-
Title: Experiences in school mathematics in Chile
Speaker:
Link: