Institute of Mathematics

Lecture courses/details

Automatic proofs of binomial sum identities

Time:
Th 15.00 - 17.00 Room: Y27H12
Organized by:
Prof. Dr. Valentin Féray

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

For further information please contact: 

Module: MAT625 Seminar: Automatic proofs of binomial sum identities