VideoArxiv
Home
Workshops
Speakers
Yves Bertot
«
1
»
Title:
Formalized mathematics: proofs of transcendence, especially pi
Speaker:
Yves Bertot
Link:
https://video-archive.fields.utoronto.ca/view/4386
«
1
»