Talk page

Title:
The Babylonian vs. the Greek Approaches to Computer Proofs

Speaker:
Doron Zeilberger

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

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