Engineering↗
Classical Primality Proofs: Pocklington and Lehmer
The Pocklington-Lehmer N−1 test, partial factorisation requirements, the N+1 test with Lucas sequences, and combined methods.
Every page in the KEVOS library tagged Pocklington Test. 1 page.