Вероятностная проверка тождеств

Кузюрин Н.Н., Фомин С.А. - М.: Институт системного программирования РАН; Факультет Вычислительной математики и кибернетики МГУ, 2011. – 13 слайдов. В материале рассматриваются полиномиальные и матричные тождества. Содержание:
Алгоритм Фрейвалда.
Корректность алгоритма.
Доказательство.
Полиномиальные тождества.
Лемма Шварца-Зиппеля и ее доказательство.
Упражнение.