Lecture 2. WZ Algorithmic Proof Theory | Видео СФУ

Lecture 2. WZ Algorithmic Proof Theory

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

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