Algebra
Verifiable computing
Function
XTR
Factorization of polynomials over a finite field and irreducibility tests
Abstract algebra
Mathematics
Polynomials