Talk page

Title:
Formalized mathematics: proofs of transcendence, especially pi

Speaker:
Yves Bertot

Link:
https://video-archive.fields.utoronto.ca/view/4386

Workshop:
Fields- Workshop on Algebra, Geometry and Proofs in Symbolic Computation