Spring 20

MAT625

Automatic proofs of binomial sum identities

Zeiten:

Do 15.00 - 17.00 Room: Y27H12 Seats: 50

Organized by

Prof. Dr. Valentin Féray

Video Streams

This seminar offers a video stream

Watch Stream

---

See here for details (instructions, registration, tentative planning)
Link

For further information please contact: 

Module: MAT625 Seminar: Automatic proofs of binomial sum identities

Anreise zum Institut