11 – 16 мая 2009 года цикл лекций по компьютерной алгебре прочитает профессор Doron Zeilberger (USA, Dept. of Math. Hill Center - Busch Campus Rutgers University).
Лекции (на английском языке) пройдут в Институте математики СФУ.
1. Summation vs. Integration – 12 мая с 12.00, ауд 34-17.
Abstract: One of the greatest advances in combinatorics was Egorychev's approach to evaluation sums by converting them into multi-contour integrals. This bridge turned out to be very important, and can be crossed both ways.
2. WZ Algorithmic Proof Theory – 14 мая с 15.00, ауд 34-17.
Abstract: Thanks to so-called Wilf-Zeilberger algorithmic proof theory, one can nowadays evaluate mechanically, many combinatorial sums and integrals.
3. Determinant Evaluations Via Integral Representations – 15 мая.
Abstract: There are many techniques for evaluating (symbolic) determinants, but converting them to integrals, can yield surprising bonuses.
Информация по лекциям и консультациям 13, 15 и 16 мая будет уточнена позднее. Приглашаются студенты и магистранты.
Видеозапись цикла лекций: http://tube.sfu-kras.ru/video/397