Mersenne primes and the Lucas-Lehmer test.

Published in: Arch. Formal Proofs (2020)

Keyphrases

preprocessing
statistical significance
real time
decision making
image processing
case study
image sequences
search algorithm
test cases
statistically significant
test data
statistical tests
multiple choice