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

Lecture 2. WZ Algorithmic Proof Theory

Для просмотра требуется проигрыватель Flash не ниже 9-ой версии и поддержка браузером JavaScript.

Thanks to so-called Wilf-Zeilberger algorithmic proof theory, one can nowadays evaluate mechanically, many combinatorial sums and integrals.

Отправить комментарий

Это поле будет доступно только администрации сервиса.
  • Адреса страниц и электронной почты автоматически преобразуются в ссылки.
  • Допустимые HTML-теги: <a> <i> <b> <em> <strong> <ul> <ol> <li>
  • Строки и параграфы переносятся автоматически.