Succinct proofs of primality for the factors of some Fermat numbers (1982)

by R P Brent
Venue:Math. Comp