Lecture 2. WZ Algorithmic Proof Theory

Для просмотра видео требуется проигрыватель Flash не ниже 9-й версии.

Thanks to so-called Wilf-Zeilberger algorithmic proof theory, one can nowadays evaluate mechanically, many combinatorial sums and integrals.

Дата съемки:14 мая 2009 г.
Разрешение:512x410  320x256
Длительность:1 ч 0 мин 54 сек
Просмотров:380
Рейтинг:
Нет голосов
Рубрика:Математика
Ключевые слова:combinatorics, Doron Zeilberger, english, in english, алгебра, комбинаторика
Место съёмки:СФУ, Свободный, 79, ауд. 34-10
Добавлено:19 мая 2009 г.
Авторский коллектив
Лектор:Doron Zeilberger (профессор, USA, Dept. of Math. Hill Center, Busch Campus Rutgers University)
Развернуть