Alex Kontorovich, Polymath-type projects in the age of formalized mathematics

917 Lượt nghe

00:00

Update Required To play the media you will need to either update your browser to a recent version or update your Flash plugin.

Alex Kontorovich, Polymath-type projects in the age of formalized mathematics

VaNTAGe Seminar, May 7, 2024

License: CC-BY-NC-SA

PNT+ GitHub repo: https://github.com/AlexKontorovich/PrimeNumberTheoremAnd					