Provable prime

Prime integer calculated using a primality-proving algorithm

In number theory, a provable prime is an integer that has been calculated to be prime using a primality-proving algorithm. Boot-strapping techniques using Pocklington primality test are the most common ways to generate provable primes for cryptography. Contrast with probable prime, which is likely to be prime, based on the output of a probabilistic primality test.

This keyword could refer to multiple things. Here are some suggestions: