Lectures on computer algebra by Professor Doron Zeilberger
http://tube.sfu-kras.ru/node/397
Lecture 1. Summation vs. Integration
http://tube.sfu-kras.ru/video/
<p>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.</p>
Lecture 2. WZ Algorithmic Proof Theory
http://tube.sfu-kras.ru/video/
<p>Thanks to so-called Wilf-Zeilberger algorithmic proof theory, one can nowadays evaluate mechanically, many combinatorial sums and integrals.</p>
Lecture 3. Determinant Evaluations Via Integral Representations
http://tube.sfu-kras.ru/video/
<p>There are many techniques for evaluating (symbolic) determinants, but converting them to integrals, can yield surprising bonuses.</p>