Вычислительная теория чисел, проверка на простоту, часть 3: теорема Лукаса и сертификаты Пратта.

В этом третьем видео из моей подсерии о проверке простоты чисел в рамках новой серии по вычислительной теории чисел я обсуждаю теорему Лукаса, которая лежит в основе полной проверки простоты произвольных целых чисел больше 2, и сертификаты Пратта, которые являются доказательствами простоты простых чисел общего вида больше 2, основанными на этой проверке.