Progress on Zeta and L-Functions Motivated by the Riemann HypothesisMathematics·Research Seminar·Number Theory & Abstract Algebra · Kannan Soundararajan · Clay Mathematics InstituteKannan SoundararajanClay Mathematics Institute—58:17
The IEANTN Project: Automation and Mathematical UnderstandingMathematics·Research Seminar·Formal Methods & Type Theory · Xinjie He · UCLAXinjie HeUCLA—38:29