Цикл лекций по компьютерной алгебре, профессор Doron Zeilberger
Lecture 1. Summation vs. IntegrationOne 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. | ||
Lecture 2. WZ Algorithmic Proof TheoryThanks to so-called Wilf-Zeilberger algorithmic proof theory, one can nowadays evaluate mechanically, many combinatorial sums and integrals. | ||
Lecture 3. Determinant Evaluations Via Integral RepresentationsThere are many techniques for evaluating (symbolic) determinants, but converting them to integrals, can yield surprising bonuses. |