цифровые видео ресурсы СФУ

Lectures on computer algebra by Professor Doron Zeilberger

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

Lecture 1. Summation vs. Integration

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.

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.

Lecture 3. Determinant Evaluations Via Integral Representations

Lecture 3. Determinant Evaluations Via Integral Representations

There are many techniques for evaluating (symbolic) determinants, but converting them to integrals, can yield surprising bonuses.

RSS-материал