Mathematical Proofs Courses
Fields Institute via YouTube Borsuk-Ulam Theorems into Higher-Dimensional Codomains
Applied Algebraic Topology Network via YouTube Oded Regev: The Reverse Minkowski Theorem
International Mathematical Union via YouTube Composing and Decomposing Surfaces in R^n
International Mathematical Union via YouTube Georges Gonthier - Computer Proofs - Teaching Computers Mathematics, and Conversely
International Mathematical Union via YouTube Mathematics for Human Flourishing - Plenary Address 2020
North Carolina School of Science and Mathematics via YouTube Verifying Symbolic Computation in the HolPy Theorem Prover - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube Discrete Honeycombs, Rational Edges and Edge States - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube Oscillator-to-Oscillator Codes Do Not Have a Threshold
Institute for Pure & Applied Mathematics (IPAM) via YouTube Splitting Numbers and Signatures
QuantumTopology via YouTube