Cook–Levin theorem
Factorization of polynomials over a finite field and irreducibility tests
Mathematics
Modular arithmetic
Computational complexity theory