Lectures on computer algebra by Professor Doron Zeilberger

Цикл лекций по компьютерной алгебре, профессор Doron Zeilberger

55 мин 52 сек Просмотров: 2012

Lecture 1. Summation vs. Integration

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.

1 ч 0 мин 54 сек Просмотров: 1807

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.