Short Proofs in Strong Proof Systems
56:51
SAT for Optimization
44:04
The story of mathematical proof – with John Stillwell
31:18
The Story of Shor's Algorithm, Straight From the Source | Peter Shor
50:40
12. Clustering
18:02
Automated Mathematical Proofs - Computerphile
1:23:07
Markov Decision Processes 1 - Value Iteration | Stanford CS221: AI (Autumn 2019)
47:46
Nick Smith What is a formal proof?
18:42