Institut für Mathematik

SE Details

Automatic proofs of binomial sum identities

Zeiten:
Do 15.00 - 17.00 Raum: Y27H12
Organisiert von:
Prof. Dr. Valentin Féray


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

Für weitere Informationen kontaktieren Sie bitte: 

Modul: MAT625 Seminar: Automatic proofs of binomial sum identities