Primality certificates for factors of some Fermat numbers (1995)

by R P Brent