Searching protocol for "finite fields"
Abstract algebra field problem solver
Prove polynomial irreducibility and factorization.
Foundations for secure crypto engineering.
Powerful, type-safe enums with labels.