Doron Zeilberger

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

    Speaker:

    Link:

  2. Title:
    To Think in a Symbolic-Computational Way...

    Speaker:

    Link: