Доказательство простоты сильных вероятных простых чисел

Используя вероятностную версию теста Миллера-Рабина, я составил список средних и больших (200-300 цифр) вероятных простых чисел. Но, вероятно, этого недостаточно! Мне нужно знать , что эти числа простые. Есть ли библиотека - желательно в оболочке или в оболочке Python - которая реализует один из более эффективных алгоритмов доказательства простоты?

Или кто-нибудь знает, где я могу найти clear , подробно и полное описание ECPP (или аналогичного быстрого алгоритма), которое не требует большого количества предварительных знаний?

Обновление: я нашел реализацию Java другого теста, APRT-CLE, который окончательно доказывает первичность. Он проверил кандидата в число простых чисел с 291 цифрой менее чем за 10 минут на процессоре Atom. Все еще надеемся на что-то более быстрое, но это кажется многообещающим началом.