MAT625
Automatic proofs of binomial sum identities
Zeiten:
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